Discovering the Inscribed Angle Theorem