Re: [math-fun] Perigal's Pythagorean proof