Guaranteed mine rule

All Covered Cells Are Mines

If a clue still requires exactly as many mines as it has adjacent covered cells, every one of those covered cells must be a mine.

clue − adjacent flags=remaining covered cells
Minesweeper Coach showing a corner clue 3, two adjacent flags, and row 1, column 2 highlighted as a guaranteed mine.
This is the actual solver result. The outlined covered cell must contain the final mine required by the clue.
Step-by-step proof

Why the highlighted cell is a mine

  1. The corner clue is 3.

    Its adjacent cells must contain three mines in total.

  2. Two adjacent mines are already marked.

    The clue still requires one mine: 3 − 2 = 1.

  3. Only one adjacent covered cell remains.

    One required mine in one unknown cell forces that cell to be a mine.