A product space of first countable spaces is again first countable.