From the Drinfeld Realization to the Drinfeld–Jimbo Presentation of Affine Quantum Algebras: Injectivity