theorem Th41: :: ORDINAL5:41

epsilon_ 0 = omega |^|^ omega