最近学习文三丰大神的软件，正好看到一题JE4（Double JE）的解题方法，如下图：

通过X法则，黄色已知数7、8造成了粉红色JE两格（r4c79）Base数不能是78数对，否则就会UR。黄色JE两格（r5c12）中只有r5c1有7和8，它们必定有一数为真。所以r5c1≠1。