for x being Complex holds 0 / x = 0