theorem Th18: :: ORDINAL5:18

for a being Ordinal holds a |^|^ 2 = exp (a,a)