prime-number public under natural-number 4 List Picture As a command Nothing is filed under prime-number.