If one chord is a perpendicular bisector of another chord, then the first chord is a diameter.