>>588
この証明に欠陥がありましたので、記事を削除しました