5次以上の方程式には解の公式がないことをいうためには、以下を証明すればよい。 を数体としたとき、係数の既約多項式の根 の 上のガロア群が可解群でないのなら、 は 上べき根で表すことができない。 そのために、この本は上の内容の対偶である以下の定理を…