No universo dos números naturais, consideram-se duas propriedades p e q:

p: n é um número natural primo e q: o número natural n possui somente os divisores 1 e n.

Nessas condições, é CORRETO afirmar que a relação de implicação lógica entre as propriedades p e q é: