Is 1 factorial prime?