The principle can be proven by first observing the following fact about comparators: when a monotonically increasing function is applied to the inputs, i.e., and are replaced by and , then the comparator produces and .