theorem Th32: :: SPRECT_2:32

W-bound R^2-unit_square = 0