Der Satz über die algebraische Struktur der ganzen Zahlen.