APr o of s A.1 Proof of theorem 1 W œS