Rigorous derivation of the “Xα” exchange potential: a deformation approach