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