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