Definition: Given a disfluent sentence, modify the sentence to it to its equivalent fluent form, preserving the meaning of the sentence.
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?