theorem :: SPRECT_2:34

S-bound R^2-unit_square = 0