created 4 text files
adding a proof text file