8.GM.3: Model or explain an informal proof of the Pythagorean Theorem and its converse.