-R . algb 
defns.v thms.v