すると　>>325さんが言っている　実数a,bに対してa+bi=0　のとき、
この両辺に　a-bi=0　をかけて　a^2-(b^2)(i^2)=0。
i^2=-1からa^2+b^2=0。a,bは実数なので　a=b=0。
となります。
単なる定理ですか？
公理による演繹はどこに隠れているんでしょうか？