"1 is the product of zero [prime] factors"

This seems to be circular since it assumes that 1 is not prime