[math-fun] Perigal's Pythagorean proof