theorem Th56: :: SPPOL_2:56

R^2-unit_square = [.0,1,0,1.] ;