Satz über die lokale Äquivalenz gleichdimensionaler Kontaktmannigfaltigkeiten:

Alle Kontaktmannigfaltigkeiten gleicher Dimension sind lokal kontakt-diffeomorph, d. h., es existiert ein Diffeomorphismus einer hinreichend kleinen Umgebung eines jeden Punktes einer Kontaktmannigfaltigkeit auf eine Umgebung eines jeden Punktes einer anderen gleichdimensionalen Kontaktmannigfaltigkeit, der den vorgegebenen Punkt der ersten Umgebung in den vorgegebenen Punkt der zweiten Umgebung überführt, und ebenso das Hyperebenenfeld der ersten Umgebung in das Hyperebenenfeld der zweiten Umgebung.