factoring factoriality factorization factorial hyperfactorial factorisation factorion factorial prime prime factorization multifactorial