theorem Th85: :: COMPLEX2:87

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