Seja uma função real de variável real , tal que :

para todo numero real . Nestas condições, temos: