[math-fun] Torque on a spinning differential gearbox