**4. Proofs**

The present section provides proofs of (most of the) results in Section 3.
