((a=b)∧(c=d))⇔((a=b)∧(c+ka=d+kb)), ((a=b)∧(c=d))⇔((c=d)∧(a=b)).
kに逆数が存在する(とくに複素数の場合はk≠0)とき,a=b⇔ka=kb.