Gausss Lemma

Eine Aussage zur Polynomarithmetik über den ganzen Zahlen (und allgemein über eindeutigen Faktorisierungsbereichen), die Primitivität und Irreduzibilität verbindet: Das Produkt primitiver Polynome ist primitiv, und ein primitives Polynom ist in Q[x] irreduzibel genau dann, wenn es in Z[x] irreduzibel ist.