A Deferred Proofs

We first prove the second part of the Theorem. Now, we will prove the first part of the Theorem. The proof is by induction. The following auxiliary proposition is crucial to prove the theorem. A for the first attribute.