for r1, r2, r19, r29 being Real st r1 <> r2 & r19 <> r29 holds
[.r1,r2,r19,r29.] is special_polygonal