Se para todo , e , então, para todo , é igual a