ガウスが証明してるだろ。複素数でない数を定義しても無意味だと。