Create myProof4 (text file)