When we developed the momentum and position representations, we stressed
that Parseval's theorem must hold. This is
the case for the energy representation, so long as we define as
discrete version of
the Hermitian inner product as 
.
Prove that with this definition,
Explain, in terms of probability, why it must be the case
that always 
.