Create myProof1 (goes inside text file)