>>927 (2)
 >>515 を参照ウオ。

〔補題〕  >>533 >>534
 (A^3+B^3+C^3)^2 ≧ (AB+BC+CA)(A^4+B^4+C^4),