Ahora supongamos que el resultado es válido para todos los valores de N hasta M − 1.