$($Perkovic$,$ Problem $5\mathrm{.}42)$ Write a function primeFac that computes the prime factorization of a

number:

it accepts a single argument, an integer greater than $1$

it returns a list containing the prime factorization

each number in the list is a prime number greater than $1$

the product of the numbers in the list is the original number

the factors are listed in non$-$decreasing order

Sample usage: