It states that if V is a complex algebraic variety, such that its ring of differential operators is generated by the derivations it contains, then V is a smooth variety.
Den säger att om V är en komplex algebraisk varietet så att dess ring av differentialoperatorer är genererad av dess derivationerna, då är V en slät algebraisk varietet.