RE: Proof #25 of the Pythagorean Theorem