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