theorem Th42: :: SURREALO:42

0_No = Unique_No 0_No