theorem Th41: :: ARYTM_3:41

for a being natural Ordinal st a <> {} holds
a / a = 1