We present a short proof of the Künneth theorem due to Heller. We also include a short proof of the Eilenberg-Zilber theorem, which is needed for the topological examples, using...