Fermat's last theorem : basic tools / - Saitō, Takeshi