Pythagorean theorem - Campa proof