theorem Th26: :: SURREALC:26

No_omega^ 0_No = 1_No