theorem Th81: :: COMPLEX2:83

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