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