Dirichlet has shown this for continuous, piecewise-differentiable functions (thus with countably many non-differentiable points).
Dirichlet hatte dies für stetige, stückweise differenzierbare Funktionen (also mit abzählbar vielen Sprungstellen) bewiesen.