for a, b being Complex holds - ((- a) / b) = a / b