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