“…Recall that, for r ∈ R, α r + denotes the prime cone consisting of all polynomials that are non-negative on some interval [r, r + ε), ε > 0; clearly, supp(α r + ) = {0}. Likewise, α r denotes the prime cone {F ∈ R[X] | F (r) ≥ 0}; we have supp(α r ) = (X − r), the ideal of R[X] generated by X − r. For more details, see [BCR,Example 7.1.4(b), p. 135], or [DST,13.1.8,.…”