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