Allgemeine Bedingungen zur Lösbarkeit

Eine Kongruenz , ist genau dann lösbar, wenn für und für ist. Sind diese Bedingungen erfüllt, dann gibt es für eine Lösung, für zwei und für vier Lösungen modulo .
Für Kongruenzen der allgemeinen Form

sind

notwendige Bedingungen für die Lösbarkeit. Sind alle diese Bedingungen erfüllt, dann ist die Anzahl der Lösungen gleich 2^t für und gleich 2^t+1 für und gleich 2^t+2 für .