>>639
その証明には計算間違いがあったので、現在その部分の証明を研究している。