diagonalization argument