17 is the minimum number of clues required to give a unique sudoku solution - but how did mathematicians prove this?
