theorem Th69: :: COMPLEX2:71

for x, y, z being Complex holds angle (x,y,z) = angle ((x - y),0,(z - y))