theorem Th2: :: TOPREAL2:2

R^2-unit_square is compact