theorem Th2: :: ARITHM:2

for x being Complex holds x * 0 = 0