A<B es igual a J*G(A,B)