Sejam f uma função bijetora de uma variável real, definida para todo conjunto dos
números reais e as relações h e g, definidas por:

h: IR² → IR²: ( x , y ) → ( x² , x – f(y) ) e g: IR² → IR²: ( x , y ) → ( x³ , x – f(y) )

Pode-se afirmar que