Create myProof3 (text file)