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\).