theorem Th22: :: SURREALR:22

-- {} = {}