sentences:  It was proved by French mathematician and then rediscovered by the Canadian .Let be a real closed field, and = { "f"1, "f"2, ..., "f""m" } and = { "g"1, "g"2, ..., "g""r" } finite sets of polynomials over in variables.Let be the semialgebraic set
  
  and define the preordering associated with as the set
  
  where Σ2[1,…,] is the set of sum-of-squares polynomials.