いちおう望月の∧∨ペーパーだと何かSGA-1を参考にしたんだけど
それだと何かが強すぎてどっかを弱めてみたいな新しい補助線引いた経緯が書いてある気がするんだよな
そうやってたらなぜか解けてしまうみたいな事なんじゃね