The first complete proof of Arnold diffusion—one of the most important problems in dynamical systems and mathematical physics