A Proof of Lemma 1 (s,a) =p = s, A