theorem :: COMPLEX2:82

for a, b, c being Complex st angle (a,b,c) = PI holds
angle (c,b,a) = PI