added proof of necessity of superabundance