We will prove unit_interval_power ω = product_space ω (const_space_family ω unit_interval unit_interval_topology).
Use reflexivity.
∎