t2[X] existen las tuplas t3 y t4 en R tales que: