| heißt hier "ist Teiler von". Hat mit Betrag nichts zu tun.
2 | n => 2 | n3 bedeutet also:
Wenn 2 ein Teller von n ist, dann ist 2 auch ein Teiler von n3
2 | n -> n = 2 * k [k∈ℤ]
-> n3 = 2*k*2*k*2*k , hat also sicher den Teiler 2
Indirekter Beweis: [hier ziemlich seltsam!]
Annahme, n3 = n * n * n kann nicht in 2* k1 zerlegt werden,
-> n kann nicht in 2 * k2 zerlegt werden
-> Widerspruch zur Voraussetzung
-> Annahme falsch
-> Behauptung wahr