Wie lauten die vier Kongruenzsätze?