Xウイングが成立する条件は?

Xウイングは同じ候補がちょうど2つずつ現れる2行（あるいは2列）と、それに対応する2列（あるいは2行）が存在し、それらが矩形状に交差するパターンです。例えば候補5が行Aで列1と列4にのみ、行Bでも列1と列4にのみあるとき、列1と列4の他行に存在する候補5は消去できます。行基準・列基準どちらでも同型に適用できる点が肝です。