Si 0 nunca ocurre, entonces el algoritmo puede ejecutarse como máximo m − 1 pasos sin usar ningún residuo más de una vez.