>d(si),d(sj)(i≠j)が単独最大決定番号なら d(si)>d(sj) かつ d(si)<d(sj) だから矛盾

>単独最大決定番号の列

これの定義をどこかに書いておくのが普通