Create myProof6 (text file)