theorem Th82: :: ORDINAL7:69

for a being Ordinal holds a (+) 0 = a