besagt, daß zwei auf einem Intervall definierte differenzierbare Funktionen genau dann die gleiche Ableitung haben, wenn sie sich nur um eine additive Konstante unterscheiden, d. h. wenn ihre Differenz konstant ist.