theorem :: XCMPLX_1:67

for a being Complex holds ((a + a) + a) / 3 = a ;