text: Ist ferner und sind jeweilige Repräsentanten der Nebenklassen dann entspricht die Bedingung der Kongruenz : Daraus folgt aber für : so dass dieselben Repräsentanten auch in und genommen werden können.