Diは第i列以外の列の決定番号の最大値なんだから、d(s^i)>Diとなるiは単独最大決定番号の列
単独最大決定番号の列が2列あったらそれらは互いに相手より大きいことになるから矛盾
よってd(s^i)>Diとなるiはたかだかひとつ
なぜ「たかだか」かは分かる?