theorem Th32:
  a <> {} implies Rank a is non empty Element of W
by Th31,CLASSES1:36,ORDINAL3:8;
