8-1 the pythagorean theorem and its converse