Task: Text Matching
Input (English): Ahlfors published a short proof of what is now called `` Denjoy -- Carleman '' -- Theorem in 1933 .
In 1933 , Ahlfors published a short proof of what is now called the `` Denjoy -- Carleman '' theorem .
Output (English): Paraphrase