Definition: Given a disfluent sentence, modify the sentence to it to its equivalent fluent form, preserving the meaning of the sentence.
Input: How I mean when was the prime number theorem proven?

When was the prime number theorem proven?