Kongruenz definiert eine Partition