diagonalization proof