There is an epimorphism
from the stable homotopy of the infinite real projective space RP∞ to the
(2-component) stable homotopy of spheres. This is the well known Kahn-Priddy
theorem and was originally a conjecture of M. E. Mahowald and G. W.
Whitehead. Mahowald also conjectured that the epimorphism should occur in
the E2 terms of the Adams spectral sequences. We prove this conjecture is
true.