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