theorem Th72: :: COMPLEX2:74

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