We rigorously prove the existence of directed transport for a certain class of ac-driven nonlinear one-dimensional systems, namely the generation of transport with a preferred direction in the absence of a net driving force.