Towards a rigorous treatment of the Jeans-Landau-Teller method for the energy exchanges of harmonic oscillators