>552 n=1 のとき成立．n=k のとき成立すると仮定する．
6^{5^{k+1}} - 1 = 6(6^{5^k} - 1) + 5 = 6×(5の倍数) + 5， よって成り立つ．