・ 帰納法の中で一番最初に「有限長である」と証明される DivList(x) は何か？
　 普通に DivList(3) が一番最初でいいのか？

・ 帰納法の中で二番目に「有限長である」と証明される DivList(x) は何か？
　 普通に DivList(9) が二番目でいいのか？

・ DivList(27) が有限長であることの証明を、
　 論文内の手法で実際に書き下してみてください。