theorem :: SPRECT_2:34
S-bound R^2-unit_square = 0