Dimostrazione.
Poiché
è una base ortonormale, avremo
quindi
. Allora
.
c.v.d.