自動証明を使わない場合(Ex.8.2の答え)を追加した。