>>330
間違い。
a + bi = 0 ⇔ a=b=0 は定理ではなくて定義。