Involvierte Definitionen
:Veranstaltung
: AlMaReferenz
: } AlgoMathe KE2 - Äquivalenzrelationen
⠀
Proposition:
Teilbarkeit ist transitiv.
Beweis
Es ist zu zeigen, dass
Es gelte
.
Wir setzen die zweite in die erste Gleichung ein:
Das heißt, wir finden
Somit gilt: