Da in dieser Methode keine Schleifen vorkommen, muß er terminieren, wenn der Methodenaufruf ggt(a,b) terminiert. Dies wurde gerade eben gezeigt, womit auch der Gesamtalgorithmus terminieren muß.