後日、性質とその証明を追加する予定です。