51Der Fall, daß ai  und bi  gerade sind, kann ausgeschlossen werden, wenn dies auch für a0  und b0  vorausgesetzt wird (was man ohne Einschränkung kann, vgl. Anmerkungen zum binären GCD-Algorithmus auf Seite 92).

@