How can the Pythagorean Theorem be proved using a mean proportional in a 2-column format?