高次方程式が解けるとはなんだろう。