Εάν η f είναι ορισμένη ώστε να ικανοποιηεί την εξίσωση
}^{2}+5f(x)-6=0 )
τότε μπορείς να πεις ότι f(χ)=1 ή f(x)=-6(συμπεριλαμβανομένης της περίπτωσης που ίσχυουν και τα δυο προφανώς για διαφορετικά x). Όμως όταν σου δίνεται μία σχέση για την f με x,y για παράδειγμα f(x)f(y)+5f(x)-6=0 και χ,yΕ A=Π.Ο.(f) που για χ=y είναι
}^{2}+5f(x)-6=0)
τότε πρέπει να απορρίψεις την περίπτωση διπλού τύπου .
Θεωρείς λοιπόν ότι η f είναι διπλού τύπου.
Έστω a,b Ε A ώστε f(a)=1 και f(b)=-6 άρα για χ=a και y=b έχουμε
f(a)f(b)+5f(a)-6=0
ή 1*(-6)+5*1-6=0
ή -7=0, άτοπο.
Επομένως f(x)=1 ή f(x)=-6 , xE A .