-R . algb 
grpdefn.v grpthm.v