James A. Garfield's proof of the Pythagorean theorem — mathematical proof