>>876
sum of squares inequality: Σa_k^2 ≧ 0

「任意の非負有理式は有理式の自乗和で書ける」というArtinの結果があるので，
有理式≧0 は，左辺を記述する有理式の自乗和を構成する方法で必ず証明できる．
（もちろん，それを見つけるのが簡単とか難しいとかはあるけれど）