Este algoritmo es correcto ya que si "a" pasa el primer paso, podemos deducir que "a" y "n" son coprimos.