Short proofs of theorems of Mirsky and Horn on diagonals and eigenvalues of matrices

A theorem of Mirsky provides necessary and sufficient conditions for the existence of an N-square complex matrix with prescribed diagonal entries and prescribed eigenvalues. We give a simple inductive proof of this theorem.