The History of Mathematical Proof in Ancient Traditions