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