Definition: Given a disfluent sentence, modify the sentence to it to its equivalent fluent form, preserving the meaning of the sentence.
Input: In what year did the Greeks, no actually, Pierre de Fermat declare Fermat's little theorem?

In what year did Pierre de Fermat declare Fermat's little theorem?