theorem :: CLASSES1:29

Rank {} = {} by Lm2;