theorem Th29: :: CLASSES1:29

Rank {} = {} by Lm2;