-R . algb
grpdefn.v grpthm.v