(1)⇔31S222+21S33+21S41121S211+S32+21S311≤S21+31S11121S2+23S11⇔(21S211+S32+21S311)(S21+31S111)≤≤(21S2+23S11)(31S222+21S33+21S411)⇔S431+S422+S332+S332+S53+S521+S44+S431++S422+S332+2S431+S521+S431+S332+S422≤S422+S53+21S332+21S611+S431+3S332+23S44++3S431+3S521+23S422⇔S431+21S332+21S422≤21S611+21S44+S521
(đúng theo Muirhead)