訂正日: 2006/09/26訂正理由: -訂正箇所: 引用文献情報訂正内容: Right : 1) For the results on cyclotomic fields used in the present paper, see K. Iwasawa, On the theory of cyclotomic fields, Ann. of Math., 70 (1959), 530-561; K. Iwasawa, On some modules in the theory of cyclotomic fields, J. Math. Soc. Japan, 16 (1964), 42-82. 2) D. H. Lehmer, Emma Lehmer, and H. S. Vandiver, An application of high-speed computing to Fermat's last theorem, Proc. Nat. Acad. Sci. USA, 40 (1954), 25-33; H. S. Vandiver, Examination of methods of attack on the second case of Fermat's last theorem, Proc. Nat. Acad. Sci. USA, 40 (1954), 732-735; J. L. Selfridge, C. A. Nicol, and H. S. Vandiver, Proof of Fermat's last theorem for all prime exponents less than 4002, Proc. Nat. Acad. Sci. USA, 41 (1955), 970-973. 3) See the tables in the papers of the footnote 2). For example, δp=1 for p=37, 59, 67, δp=2 for p=157, and δp=3 for p=491. 4) The computation was done at the M. I. T. Computation Center, Cambridge, Massachusetts.