for a, b, c, d being Real holds inside_of_rectangle (a,b,c,d) c= closed_inside_of_rectangle (a,b,c,d)