証明を見直す。