Sun–Jupiter–Saturn System May Exist: A Verified Computation of Quasiperiodic Solutions for the Planar Three-Body Problem | Publicación