2^2=4だと考えるときに
x^0=1 x^(n+1)=x*x^n という帰納的な定義を考えたくなる