8.26: Informally justify the Pythagorean Theorem and its converse.