El procedimiento (algoritmo) está basado en el siguiente resultado.