Differenzierbare Hyperfläche/Differentialoperator/Erste Ordnung/Verschwindet auf Gleichung/Aufgabe
Es sei offen, eine stetig differenzierbare Funktion und die Faser zu , wobei in jedem Punkt von regulär sei und somit eine diffferenzierbare Mannigfaltigkeit definiere. Es sei ein Differentialoperator erster Ordnung zu einem stetigen Vektorfeld auf . Zeige
für jede differenzierbare Funktion auf .