Module: Prime numbers and factorization of a number into prime factors