Create myProof5 (text file)