Fermat's last theorem : the proof / Takeshi Saito. Transl. from the Japanese by Masato Kuwata. Providence, RI : American Math. Soc., 2014