theorem :: XCMPLX_1:71

for a being Complex holds (a / 4) + (a / 4) = a / 2 ;