Definition: Convert a disfluent question to a proper question. A disfluent question is a question that has some interruptions in it while framing. A proper question is the correct form of the question without any disfluency.
Input: If a and q are coprime, when does no which theorem holds that an arithmetic progression has an infinite number of wraps?

If a and q are coprime, which theorem holds that an arithmetic progression has an infinite number of wraps?