G.T.1.b: The Isosceles Triangle Theorem and its converse