prime-factorization public under mathematical-operation 42 List Picture As a command %3 n0 prime-factorization n1 mathematical-operation n1->n0