Title: Notes on mathematical proof techniques