theorem Th33: :: SPRECT_2:33
E-bound R^2-unit_square = 1