We will prove R2_standard_topology = product_topology R R_standard_topology R R_standard_topology.
Use reflexivity.
∎