Hilfe zu den Kongruenzsätzen -
der Kongruenzsatz sws