theorem Th47: :: HURWITZ:48

for x, z being Element of F_Complex holds eval (((rpoly (1,z)) *'),x) = (- x) - (z *')