証明のアウトラインが説明できなかったのはまずかった