Proposition: Teilbarkeit ist reflexiv

Sei .

Dann gilt:

Beweis

Sei die Teilbarkeits-Relation.

Es ist zu zeigen, dass . Wir setzen also ein:

für ist diese Gleichung offensichtlich wahr.