>>417
なってるかなあ？
「not A」である場合が存在しない場合、それを仮定すれば「B」は成り立つが、
それで「AまたはBであること」を証明したと言えるのか。