AS: Proofs

Key Facts Revision