対角優位と最大性から a11∣x1∣>(∣a12∣+∣a13∣)∣x1∣ge∣a12x2∣+∣a13x3∣a_{11}|x_1|>(|a_{12}|+|a_{13}|)|x_1|\\ge |a_{12}x_2|+|a_{13}x_3|a11∣x1∣>(∣a12∣+∣a13∣)∣x1∣ge∣a12x2∣+∣a13x3∣ である。よって第1式は零に相殺できず、解であることに矛盾する。