Oración 1: así, consideramos dos casos: Si y ≤ x2 , tenemos que (x mod y) < y ≤ x 2 , y, por lo tanto, el nuevo valor de x va a ser menor o igual a x2 , entonces el valor se reduce por lo menos a la mitad
Oración 2: esto nos quiere decir que el algoritmo siempre va a parar, ya que existen finitas operaciones tanto para forzar la desigualdad triangular, como para llegar al sistema óptimo, lo que nos garantiza que el algoritmo no va a entrar en un loop
Relación: neutral