五次以上の代数方程式に解の公式が存在しないことを証明した.
以上