The math of sudoku

17 is the minimum number of clues required to give a unique sudoku solution, prove it!