Fermat's last theorem : basic tools - Saitō, Takeshi, 1961- (Translation of mathematical monographs, 2013)