Si hacemos la división entre cualquier número primo de la lista formula_6, nos sale resto 1, por lo cual debe existir al menos otro número primo que no se encuentra en esa lista.