modulation theorem