for a, b, c being Complex st a <> b & b <> c & angle (a,b,c) = PI holds
( angle (b,c,a) = 0 & angle (c,a,b) = 0 )