  In spectral graph theory, Grone and Merris conjecture that the spectrum of
the Laplacian matrix of a finite graph is majorized by the conjugate degree
sequence of this graph. We give a complete proof for this conjecture.
