>>523
修正できましたので、Mathlogに証明を投稿しました