theorem :: CLASSES3:15

for A being Ordinal
for U being Grothendieck st A in U holds
Rank A in U