How is the second equation derived with the orthonormality property?
The orthonormality property is
< a"|a'> = kronecker delta_a",a'
I ask because I don't know why the summation in the first equation disappears in the second equation, especially since I could imagine a' and a" being the same while varying.