theorem :: XCMPLX_1:118

for a, b being Complex holds (a / (2 * b)) + (a / (2 * b)) = a / b