Key Facts Revision: AS Pure: 8. Proofs