Lemma. [0038]

    Seien natuerliche Zahlen. Es gibt ganze Zahlen sodass der groesster gemeinsamer Teiler .

    Proof. Euklidischer Algorithmus.