theorem Th13: :: ORDINAL5:13

for a being Ordinal holds a |^|^ 0 = 1