theorem Th33: :: SPRECT_2:33

E-bound R^2-unit_square = 1