theorem :: ARITHM:6

for x being Complex holds x / 1 = x