4.2_帰納法で0_+_n_=_nを証明する