G.09.01.
Pythagorean Theorem and Its Converse