>>136
「証明が正しくない」と「予想が正しくない」を混同している