Let Xi and i be given.
We will prove product_component_topology Xi i = (apply_fun Xi i) 1.
Use reflexivity.
∎