for a, b, c being Complex holds (a / b) * c = ((1 / b) * c) * a