Proving the Inverse Pythagorean Theorem