[see also: entail, involve, force, require
Apart from a few embellishments necessitated by some technical difficulties, the ideas differ very little from those used to prove Lemma 4.