Common proof techniques in math