A canonical projection on a product space is continuous .

Proof
This can be proven using the characteristic property of product spaces .