Funktionenkörper/Galoiserweiterung/Differentialoperatoren/Fortsetzung/Fakt

Es sei eine endliche Galoiserweiterung von Funktionenkörpern über einem Grundkörper der Charakteristik .

Dann besitzt jeder Differentialoperator auf eine eindeutige Fortsetzung nach .