The Binary Encounter Approximation cross-section for inner-shell ionization of atoms by protons is corrected for proton recoil, an effect due to the exchange of virtual photons in proton — electron scattering. The correction ...