以下Bを全集合としてBに含まれる事は一々述べない
m≦x,x∈Aとすればm∈Aとなりm∈B-Aに矛盾
∴x∈A→x<m
x<m, ¬x∈Aとすればx∈B-A,x<mとなるがm=min(B-A)に矛盾
∴x<m→x∈A