数学的帰納法で示せる