Dirty derivative stability in the frequency domain

Differentiation filters can be made proper by composition with a first-order low-pass filter at a desired bandwidth, resulting in a “dirty derivative.” A stable closed-loop system that relies on output derivatives remains stable when the derivatives are replaced with dirty derivatives of sufficiently high bandwidth. I prove and generalize this fact by a frequency-domain argument.