Polynomial SOS
 
x
OK