On the theory of motion of nonholonomic systems. The reducing-multiplier theorem | Synapse