for A, B, C being Point of (TOP-REAL 2) st A,B,C is_a_triangle holds
( A,C,B is_a_triangle & B,A,C is_a_triangle & B,C,A is_a_triangle & C,A,B is_a_triangle & C,B,A is_a_triangle ) ;