90.79 Two proofs of a Pythagorean-like theorem