theorem Th35: :: SPRECT_2:35

N-most R^2-unit_square = LSeg (|[0,1]|,|[1,1]|)