The converse statement, that smooth algebraic varieties have rings of differential operators that are generated by their derivations, is a result of Alexander Grothendieck.
Omvändningen, att släta algebraiska varieteter har ringar av fifferentialoperatorer genererade av deras derivationer, är ett resultat av Alexander Grothendieck.