We have inherited volumes of powerful logical procedures, many of them dating back thousands of years to the earliest civilizations. This video looks at one example, a proof of the familiar Pythagorean Theorem.