Formulation of the Channel Separation property
Consider two circuits:
one with a filter attatched at the input of a chip,
one with the filter attatched to the output of a chip.