結構かかったな

気になっていた部分が証明完了。
ごっちゃごっちゃに計算した後、一時解析不能になり、
リセットしたら瞬時に解けた。
しかし、もうちょっと簡単に解けそうな気がしなくもない。
遠回りしている部分の近道を作らなくちゃ。