読みやすい証明を書くべきでは?