Comment by davidguetta

exactly, cf andrew wiles first proof of fermat's last theorem