for a, b, c, d being Real st a < b & c < d holds
rectangle (a,b,c,d) is being_simple_closed_curve