theorem Th31: :: SPRECT_2:31

N-bound R^2-unit_square = 1