add a new proof for the theorem on sufficient sets
remove the old proof of the theorem on sufficient sets