Teilbarkeitstheorie/Gemeinsame Teiler/Idealcharakterisierung/Fakt/Beweis

Beweis

Aus folgt sofort für , was gerade bedeutet, dass diese Elemente teilt, also ein gemeinsamer Teiler ist. Es sei umgekehrt ein gemeinsamer Teiler. Dann ist und da das kleinste Ideal ist, das alle enthält, muss gelten. Der zweite Teil folgt sofort aus dem ersten.