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