Theorem 9-5
A diameter that is perpendicular to a chord bisects the chord and its arc.
