set T = Trectangle a,b,c,d;
thus [#] (Trectangle a,b,c,d) is convex Subset of (TOP-REAL 2) by PRE_TOPC:29; :: according to TOPALG_2:def 1 :: thesis: verum