Beweis durch Diagonalisierung