theorem THQQ: :: GTARSKI2:30

OASpace (TOP-REAL 2) is OAffinSpace