Sean pr : X x X → X, (x,x) ↦ x, i=1,2.