is cos(n x ) cos(m x ) equal to [cos(n + m) x + cos(n − m) x ]/2