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