@PRINCIPAL[n] : Devuelve el primer número primo >= n (un entero de 64 bits).

 

Ejemplo:

 

eco %@prime[13798225]

13798247