Είναι εύκολο να δει κανείς (γιατί;) ότι οποιοδήποτε πολυώνυμο σε μια μεταβλητή με πραγματικούς συντελεστές είναι μη αρνητικό για κάθε γράφεται αναγκαστικά σα άθροισμα τετραγώνων πολυωνύμων
, με .
Άρα το να γράφεται ένα πολυώνυμο μιας μεταβλητής σα άθροισμα τετραγώνων είναι ισοδύναμο με το να είναι πάντα μη αρνητικό.
Έστω . Δείξτε ότι το είναι πάντα μη αρνητικό αλλά δε μπορεί να γραφεί σα άθροισμα τετραγώνων πολυωνύμων σε . Άρα η παραπάνω ισοδυναμία δεν ισχύει παρά μόνο για πολυώνυμα μιας μεταβλητής.