Seja F um conjunto de dependências funcionais especificadas em um esquema relacional R.

F = {G → { H,J,K} , J→ {L,M}, M → {P,Q}, K → {M,P,R,S}, N → {S,T,V},V →{X,Z} }

Que dependência funcional NÃO pertence ao fechamento de F, denotada como F⁺?