>>338
性質Aを満たすものが存在しない場合には、「Aならば」という論理？そのものが成り立たず、
「A⇒B」が成立しているということは、性質Aを満たすものが存在することを意味すると言えるのでは？
そうであれば、性質Bを満たすものがただ一つだけ存在する場合に、それが性質Aを満たさないとすると、
上記に矛盾することになる。