theorem :: CLASSES2:71

for A, B being Ordinal st UNIVERSE A = UNIVERSE B holds
A = B