[math-fun] Neptune-Pluto orbital resonance