An ideal mixer multiplies two signals. Use trig identities to write
cos(fm)*cos(fc) = cos(fm+fc) + cos(fm-fc)] / 2
A real mixer is non-ideal and allows some of fc to leak through to the output. (Leakage of fm is far away and is filtered out). Real mixers also produce harmonics and high-order mixing products, which again are filtered away.