[see also: comprise, include
That (2) implies (1) is contained in the proof of Theorem 1 in [4].
The preceding proof contains a result which is interesting enough to be stated separately.
Section 2 contains an overview of the necessary background.