Sei f ein normiertes Polynom aus Z[X] und die Zerlegung modulo einer Primzahl p, die nicht in der Diskriminante des Polynoms aufgeht ( f separabel mod p), sei etwa von der Form

mit Grad h_i=n_i.

Dann ist f separabel und die Galoisgruppe des Zerfaellungskoerpers von f ueber Q enthaelt (als Permutationsgruppe) ein Produkt von r disjunkten n_i-Zykeln.