Obsérvese que éste resultado es consecuencia de la limitación de banda formula_1 y que la operación de muestreo aparece en el curso de la especificación de formula_2.