Satz 1c: "Allgemeine Eigenschaft"
Wenn \(a \in \mathbb{N}_0\),
dann gilt: \(a|0\).
Beweis:
Wenn \(a \in \mathbb{N}_0\),
dann gilt: \(a|0\).
Beweis:
| (1) | \(a \in \mathbb{N}_0\) | (Voraussetzung) |
| (2) | \( a \cdot 0 = 0 \) | (elementares Rechnen) |
| (3) | \( a|0\) | ((2)) = "Behauptung" |
Bemerkung:
Mit \(0\) ist also ein \(k\) gefunden, so dass \(a \cdot k = 0\).
Mit \(0\) ist also ein \(k\) gefunden, so dass \(a \cdot k = 0\).