ガロワ理論を使う証明もあるけど
それにも解析の事実をちょこっと使う