Kongruenzsatz-beweis