>>656
この証明には計算間違いがありましたので削除しました。