https://9lib.co/document/zwvo169v-prove-n-dn-complete-n-closed-subset-m.html