Hello: I cannot find the prime factorization theorem for natural numbers in MML. Is it there anywhere? Is someone working on it? -- Piotr (Peter) Rudnicki