Re: [math-fun] Gear topologies main theorem, revised & corrected