A proof of the factorization of mass singularities in the Bjorken limit