Contexte
Un super-premier est un nombre premier dont l'indice dans la liste de tous les nombres premiers est également premier. La séquence ressemble à ceci:
3, 5, 11, 17, 31, 41, 59, 67, 83, 109, 127, 157, 179, 191, ...
Il s'agit de la séquence A006450 dans l'OEIS .
Défi
Étant donné un entier positif, déterminez s'il s'agit d'un super-premier.
Cas de test
2: faux 3: vrai 4: faux 5: vrai 7: faux 11: vrai 13: faux 17: vrai 709: vrai 851: faux 991: vrai
Notation
Il s'agit de code-golf , donc la réponse la plus courte dans chaque langue l'emporte.