Im Wesen unterscheidet er sich nicht vom euklidischen Algorithmus, der in ähnlicher Art
und Weise die Argumente stetig reduziert und dabei den größten gemeinsamen Teiler 
bewahrt.
Die Halbierung eines der Argumente ist allerdings (durch Verschiebung um ein Bit) effizient zu
realisieren. @