Transitivität der Kongruenz und Existenz von Inversenelementen