theorem :: CLASSES4:14

for UN being Universe holds UN is Grothendieck of {}