Έστω

Παρατηρούμε ότι

και άρα ο πίνακας

είναι συμμετρικός και θετικά ορισμένος. Επίσης, είναι:
Ο πίνακας

είναι διαγωνοποιήσιμος, με ιδιοτιμές που ανήκουν στο σύνολο

Αφού, όμως, ο

είναι θετικά ορισμένος, ο αριθμός

δεν μπορεί να είναι ιδιοτιμή του

. Άρα, οι ιδιοτιμές του

ανήκουν στο σύνολο

οπότε θα είναι

και το ζητούμενο δείχθηκε.