El descenso infinito se convierte en una realidad, si se puede probar que la existencia del contraejemplo inicial conduce a una construcción que produce un contraejemplo con un valor menor n ′ del par...El descenso infinito se convierte en una realidad, si se puede probar que la existencia del contraejemplo inicial conduce a una construcción que produce un contraejemplo con un valor menor n ′ del parámetro n, ya que repetir este paso da lugar entonces a una secuencia infinitamente decreciente n > n ′ > n ' ' > ... > 0 de enteros positivos, lo cual es imposible (ya que tal cadena puede tener longitud como máximo n).
