reserve X,Y,Z for set,
        x,y,z for object,
        A,B,C for Ordinal;
reserve U for Grothendieck;

theorem  :: Theorem 2 (3)
  X c= Rrank X by CLASSES1:def 9;
