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