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;