Category:Projection from Product Topology is Open and Continuous