https://123dok.net/document/qvl1l021-minimal-cardinal-family-shatters-d-subsets-finite-set.html