theorem :: COMPLEX3:13

for a being Complex holds cfrac (- a) = - (cfrac a)