Seja uma função tal que: , para cada em e , para todos e em . Considere uma P.A. de razão , tal que

Então,