theorem Th23: :: SURREALR:23

- 0_No = 0_No