Article ARITHM, MML version 4.99.1005

:: ARITHM:th 1
theorem
for b1 being complex set holds
   b1 + 0 = b1;

:: ARITHM:th 2
theorem
for b1 being complex set holds
   b1 * 0 = 0;

:: ARITHM:th 3
theorem
for b1 being complex set holds
   1 * b1 = b1;

:: ARITHM:th 4
theorem
for b1 being complex set holds
   b1 - 0 = b1;

:: ARITHM:th 5
theorem
for b1 being complex set holds
   0 / b1 = 0;

:: ARITHM:th 6
theorem
for b1 being complex set holds
   b1 / 1 = b1;