for a, b, r, s being Real st a <= b & r <= s holds
not Trectangle (a,b,r,s) is empty