Proof_doc_1