prove that PQ is a diameter of the circle.