>>985
I_[n] の定義の式から I_[n]>0
漸化式を使って p^(n)*I_[n] は整数であることが数学的帰納法で証明できる