Kongruenzen, Teilbarkeit und Faktorisierung

Polynome modular reduzieren, zusammengesetzte Teilbarkeiten lokal beweisen und variable Teiler durch konstante Reste beherrschbar machen.