>>93
君前に単純化した証明の流れ書いてたでしょ?
同じことしか書かないのはそれしか書けないからでは?