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.