⁴⁹Im Hinweis auf 77 wurde zwar für die kleinsten Werte der BéZOUT-Koeffizienten $- |α|< b$ und $- |β|< a$ geschlußfolgert, was jedoch nicht für die Zwischenwerte eines bestimmten Algorithmus gelten muß (hier anwendbar auf das Ende von Phase II). Theorem 1 in [Kal95] läßt sich aber auch nachvollziehen, wenn man mit Blick Algorithmus 5 die Anmerkung 2 (auf Seite 92) zur Anzahl der Iterationsschritte berücksichtigt.