実数が存在すると思うなら複素数も存在する