theorem Th22: :: SURREALN:22

rng uInt c= Day NAT