Title: Proof in mathematics