Why is the carrier suppressed by AM-DSB-SC modulation? Lets say I have a message that is a sine wave at 1KHz. As I understand it, I can perform amplitude modulation by multiplying this signal with a carrier, lets say 10KHz, and this process is essentially DSB-SC modulation. Looking at the resulting signal in a spectrum analyzer I see a spectral line at 9KHz and 11Khz. My question is, why is there no spectral line at 10KHz? If you look at the waveform the 10KHz carrier wave is still clearly visible, it simply periodically inverts its phase 180 degrees. Is the fact that no spectral line appears in a frequency analyzer simply because it is being hidden, due to a limitation of how the spectrum analyzer works, effectively canceling out the 10KHz signal over time? If so, then is the carrier in DSB-SC truly suppressed? What does it actually mean for the carrier to be suppressed?

Edit. For clarification, I already know that the math says there should only be frequency content above and bellow the carrier frequency. Perhaps my confusion will become more clear if instead of modulating the carrier with a sine wave we modulate it with a square wave. Bellow is a picture of such a signal in Audacity. According to the spectrum analyzer this signal contains nothing at the original carrier frequency. This is despite the fact that the signal is literally made up of sections of the otherwise unmodified carrier, simply shifted 180 degrees periodically. It's not intuitive that a waveform that can be constructed from sections of a single sine wave of a particular frequency would not contain that frequency at all.
It's a simple trigonometric identity:

$$\cos(\omega_mt)\cos(\omega_ct)=\frac12\left[\cos((\omega_m+\omega_c)t)+\cos((\omega_m-\omega_c))\right]\tag{1}$$

Multiplying two sinusoids of different frequencies results in the sum of two sinusoids with the sum and the difference of the two frequencies.

So this type of AM (DSB-SC) really results in a suppressed carrier, i.e., the modulated signal has no component at the carrier frequency. This is true as long as the message signal has no DC component.

What happens is that the spectrum of the message signal is simply shifted to $\pm \omega_c$, so DC gets mapped to the carrier frequency $\omega_c$, and as long as there is no DC component in the message there is also no carrier component in the modulated signal.

EDIT: Your square wave example is perfect. A square wave is a piecewise constant function, so you could say it is just switched DC, or, paraphrasing your question, it's "made up of sections of otherwise unmodified DC". However, if the duration and amplitude of the positive and the negative part of the square wave are equal, then the corresponding signal's DC component is exactly zero. If you accept that, you must also accept that the signal in your example has no component at the carrier frequency.