Complete proof of discrete orthogonality.