Proofs of the Compactness Theorem (vol 31, pg 73, 2010) - Paseau, A (2011)