====== Kongruenzsatz ======