Re: [math-fun] General planar gear configurations (Somsky refutes Smith's proof)