Category:Euclidean Topology is Product Topology