theorem :: XCMPLX_1:36

for a, b, c being Complex holds a - (b + c) = (a - b) - c ;