Trivial analysis - DavidNHill/Minesweeper GitHub Wiki
Trivial analysis is where a single revealed tile can immediately provide information about the adjacent tiles.
In this case the '2' is already satisfied and so any additional un-revealed tiles can be immediately cleared.
In general, if a tile is satisfied then all other adjacent tiles can be safely cleared.
In this case the '1' is lacking a mine but there is only one place for the mine to go
In general, if a tile is lacking n mines and there are only n adjacent un-revealed tiles then they must all be mines.