> p^(n)*I_[n] は帰納的に整数

p^(n)*I_[n] は帰納的に正整数