Math Puzzle: Sudoku Surprise

Scientific American

3 days ago

The rules of Sudoku dictate that every row, column and 3×3 bolded box in the completed grid must contain the digits 1 through 9 exactly once. A surprising fact emerges from these simple rules.
In every completed Sudoku, the cells highlighted in orange will always contain the same digits as the cells highlighted in blue.
In this example from our recent ' Expert Sudoku,' there are three 7's in the orange ring and three 7's in the blue 2×2 squares in the corners. Similarly, there are no 8's in the orange ring and no 8's in the blue squares, and so on. Explain why this happens in every Sudoku puzzle.
Show hint
Show puzzle solution
Notes from Readers
Our recent puzzle ' Prime Time ' asked you to find one million consecutive nonprime numbers. The problem did not ask for the smallest instance of one million consecutive nonprimes, but mathematical minds enjoy optimizing, and several readers wrote in ideas for finding smaller sequences that fit the bill.
Our original solution was:
1,000,001! + 2, 1,000,001! + 3, 1,000,001! + 4, ..., 1,000,001! + 1,000,001
Reader Mike Thwaites offered an elegant tweak by replacing the plus signs with minus signs:
1,000,001! – 2, 1,000,001! – 3, 1,000,001! – 4, ..., 1,000,001! – 1,000,001
Each of these terms is nonprime, just like their counterparts formed by addition, and we have indeed shifted things earlier in the number line, albeit slightly.
Another reader, Mike O'Connor, found a significantly smaller sequence. Instead of multiplying all of the numbers from 2 to 1,000,001, we only need to multiply the primes from 2 to 1,000,001. Call this product P. Then P + 2, P + 3, ..., P + 1,000,001 form one million consecutive nonprimes.
This one takes a bit of reflection to understand. If k is a number between 2 and 1,000,001, then why is P + k necessarily nonprime? There are two scenarios: If k is prime, P is divisible by k by definition, so P + k is divisible by k and therefore nonprime. If k is not prime, then there must be some smaller prime that divides it. That smaller prime will also divide P, so again, P + k can't be prime.
Thanks to the Mikes for sharing their ideas.