A geometric mechanism of diffusion: Rigorous verification in a priori unstable Hamiltonian systems | Publicación