Sentence 1: In 1933 , Ahlfors published a short proof of what is now called `` Denjoy -- Carleman '' sentence .
Sentence 2: In 1933 , Carleman published a short proof of what Denjoy -- Carleman -- Ahlfors Theorem is called today .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?