非零解なら変数を入れ替えて ∣x1∣|x_1|∣x1∣ を最大かつ正とできる。第1式の対角項の大きさは a11∣x1∣a_{11}|x_1|a11∣x1∣ であり、他の二項の大きさの和は高々 (∣a12∣+∣a13∣)∣x1∣(|a_{12}|+|a_{13}|)|x_1|(∣a12∣+∣a13∣)∣x1∣ である。