theorem THQQ: :: GTARSKI2:30
OASpace (TOP-REAL 2) is OAffinSpace