>全体像がみえないまま、ずっと証明を一人で追っていると
>なかなかつらいのですね。

これは誰でも同じ。
真っ暗なトンネルを我慢して進んでいく時期が必ずあるんだよ。
であるところでパッと明るくなる。
この辛抱が出来ないと数学はわからない。