theorem Th39: :: ORDINAL2:39

for A being Ordinal holds
( 1 *^ A = A & A *^ 1 = A )