ベースセット外のカバーセット要素に数字Ｘが入らない理由

図 1-1

　図1-1 の盤面を例にとりましょう。
　まずは、ベースセットとカバーセットのおさらいをしておきます。

　こういう状況で話を進めていきます。

　ベースセットは青色ヨコ４列です。
　B₁B₂B₃B₄と名前をつけておきましょう。
　そして、これら４つをそれぞれベース要素と呼ぶことにしましょう。

　カバーセットは４個の黄色 house です。
　C₁C₂C₃C₄としておきます。
　そして、これら４つをそれぞれカバー要素と呼ぶことにしましょう。

図 1-2

　さて、実はすべての★に共通する特徴があります。
　それは、次の特徴です。

　つまり、どの★も複数の青色ヨコ列に所属しておらず、かつ、複数の黄色 house にも所属していないんです。
　例えば、図1-2 のピンク色★はB₁とC₂にのみ所属しています。

　この「ただ１つの」というのが重要です。

図 1-3

　では、４つのベース要素（青色ヨコ列）に数字Ｘを１個ずつ入れていきます。

　まず手始めにどれかのベース要素に数字Ｘを入れますが、「どのベース要素も数字Ｘは★マスにしか入らない」という前提だから、どれかの★に数字Ｘを入れることになります。

　ここでは、B₃を選択してマスＰに数字Ｘを入れてみましょう（図1-3）。

図 1-4

　図1-1 で説明した通り、マスＰの所属するカバー要素は１つだけです。
　C₄だけですね。
　マスＰに数字Ｘが入ったことで、次のようになりました。

　４つのベース要素に数字Ｘを１個ずつ入れるということをやっているので、数字Ｘの入ったB₃はもぅお役御免！
　ということで、除去しちゃいましょう。
　そして、もう数字Ｘの入れられない★とC₄も除去しちゃいます。
　ベース要素もカバー要素も３個ずつになりました。

図 1-5

　続いて、またベース要素に数字Ｘを入れます。
　今度はB₂を選択してマスＱにＸを入れてみましょう（図1-5）。

図 1-6

　マスＱの所属するカバー要素も１つだけです。
　C₃だけですね。
　マスＱに数字Ｘが入ったことで、次のようになりました。

　数字Ｘの入ったB₂はここでお役御免！
　ということで、除去しちゃいましょう。
　そして、もう数字Ｘの入れられない★マスとC₃も除去しちゃいます。
　ベース要素もカバー要素も２個ずつになりました。

　よく見ると、図1-6 の説明内容は図1-4 と同じです。
　そして、ベース要素とカバー要素は１個ずつ減っていってる。
　勘のいい方々なら、もぅ察しがついているかもしれません。

図 1-7

　続いて、またベース要素に数字Ｘを入れることを考えます。

　……が、B₄を見ると、数字Ｘの入るマスが１つしかありません。
　そのマスＲに優先的に数字Ｘを入れちゃいましょう。
　マスＲに数字Ｘが入り次のようになりました。

　数字Ｘの入ったB₄はもぅお役御免！
　ということで、除去しちゃいましょう。
　そして、もう数字Ｘの入れられない★マスとC₁も除去しちゃいます。
　ベース要素もカバー要素も１個だけになりました。

図 1-8

　最後はB₁に数字Ｘを入れるだけ。
　★が２つしか残ってないので、そのどちらかに数字Ｘを入れて終わり！
　マスＳにしときましょうか。
　マスＳに数字Ｘを入れたら最後はこうなります。

　さぁ、これですべてのベース要素に数字Ｘを入れ終わりました。
　ここで、カバーセットに対してどんなことが成り立ったでしょう？
　順番に全部書いてみます。

　なんと！
　どのカバー要素も、★以外の黄色マスに数字Ｘは１つも入らなかったのです！

　上記は一例ですが、数字Ｘの入れ方にかかわらず、上記と同様の理屈が成り立ちます。
　そして、どのカバー要素も★以外の黄色マスに数字Ｘは入らないということが得られるんです。

　……と、こうしてドヤ顔で説明してはみたものの、長い😅
　もっとエレガントに説明できる頭が欲しい😅
　もし素晴らしい説明をしているサイトが存在していたら、そっちの方を見ちゃってください😅