Denjoy's theorem on rotation number

In mathematics, the Denjoy theorem gives a sufficient condition for a diffeomorphism of the circle to be topologically conjugate to a diffeomorphism of a special kind, namely an irrational rotation. Denjoy (1932) proved the theorem in the course of his topological classification of homeomorphisms of the circle.