Walkthrough
Example 01 — A typical single-number chain
For number 5, a chain starts from cell r6c5 and travels through cells r6c6, r7c6, r7c3, r1c3, r3c1, r3c8 and ends at r2c8. The chain contains seven links and eight cells.
Because the chain begins with a strong link in row 6 and ends with a strong link in column 8, one of cells r6c5 and r2c8 must be number 5. Any cell that sees both endpoints cannot be number 5.
What to notice: The chain does not need to look like a regular shape. The proof comes from the alternating link structure.