theorem Th32: :: SPRECT_2:32
W-bound R^2-unit_square = 0