Sejam e os maiores subconjuntos de nos quais estão definidas, respectivamente, as funções reais

e

Considere, ainda, e as imagens de e de , respectivamente.

Nessas condições,