theorem Th21: :: SURREALN:21

INT = DYADIC 0