fact math p x math math p equiv bmod math initial work towards proof every integer sum four squares first complete proof joseph louis lagrange soon improved euler lack non zero integer solutions math x z math implying case ''n '' fermat 's last theorem case ''n '' euler also proved related method ''pell 's equation'' first misnamed euler ref name eulpell euler generous giving credit others always correctly ref wrote link
Formal science Mathematics Pure mathematics Number theory