PROOFS

RT079