Seven Links for the History of Mathematical Proof