ある証明で、「仮定も少し緩めて証明を簡略化
できるやん」と思う箇所があるんだが、十中
八九、自分がどこか勘違いしてるんだろうね。

こういう場合、ひたすら考え続けるよね？