Is 1 carol prime?