Das Symbol ist also homogen in den Variablen y vom Grad n. Es ist wohldefiniert (obwohl nicht mit kommutiert), da nur der höchste Term behalten wurde und Differentialoperatoren bis auf niedrigere Terme kommutieren.