Se la fbf data fosse un teorema, allora per il Teorema di correttezza e 
completezza della Logica dei predicati, dovrebbe essere vera in tutte le
possibili strutture.
Quindi, per mostrare che non e' un teorema,
basta mostrare che in una struttura particolare non e' vera,
per esempio nella struttura con supporto {a,b,c} 
ed in cui la costante c e' interpretata con l'elemento c
e notP vene interpretata come la relazione binaria R tale che
cRa aRb bRb