Re: [math-fun] Formulation of Somsky Gears as Diophantine Problem