given A={2,4,6} and B={0,1,2} how do we prove in predicate calculus using quantifier and propositional logic laws and those of algebra the following:

There exists a unique x, xεA,such that if yεB then + <10

which in symbols is:

[ xεA & ( yεB====> + <10)]