都物語排除　と　姉妹排除　が　本質的に同じであることの説明

ある領域で，まだ配置されていないマスの数を　Ｎ個　とします。数字を名付け換えて，ｋ個の　数字　１，２，．．．，ｋ　が　ｋ個の　マス　ａ_１，ａ_２，．．．，ａ_ｋ　で　ｋ都物語排除の条件を満たしているとします。 すなわち，
マス　ａ_１，ａ_２，．．．，ａ_ｋ　には，数字　１，２，．．．，ｋ　のみ配置可能です（数字　ｋ+１，ｋ+２，．．．，Ｎ　は配置不可能です）。
これは，姉妹排除の条件
Ｎ - ｋ個の　数字　ｋ+１，ｋ+２，．．．，Ｎ　は，Ｎ - ｋ個の　マス　ａ_ｋ+１，ａ_ｋ+２，．．．，ａ_Ｎ　にのみ配置可能である
と　同値です。
よって，片方の条件が成立すれば，もう一方の条件が成立し，
数字　１，２，．．．，ｋ　は，マス　ａ_ｋ+１，ａ_ｋ+２，．．．，ａ_Ｎ　に配置できない　ことになります。




ナンプレでは，数字を名付け換えて説明しても論理に問題がないことは自明のものとして説明しています。 ここもきちんと説明するのならば，
ｋ個の　数字　１，２，．．．，ｋ　を， ｋ個の　数字　ｎ １，ｎ ２，．．．，ｎ ｋ　として説明します。