- Ist klar wegen
-

- Ist klar wegen
-

- Die beiden Voraussetzungen bedeuten die Existenz von
mit
und
.
Somit ist
-

und
ist auch ein Teiler von
.
- Aus den Voraussetzungen
und
ergibt sich direkt
-

also ist
ein Teiler von
.
- Aus der Voraussetzung
ergibt sich direkt
-

also ist
ein Teiler von
.
- Aus den Voraussetzungen
und
ergibt sich direkt mit dem Distributivgesetz
-

also ist
ein Teiler von
.