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