Sejam funções tais que: e para todo . Então é igual a: