**Check or falsify:** There is a $C^\infty$-map $S^1 \to S^1 \times S^1$ that is surjective.

**Comments:** I think it's not true, because $\dim S^1 = 1$ and $\dim S^1 \times S^1 = 2$ but I do not know how to justify.