Derivative superconvergent points in finite element solutions of harmonic functions--- A theoretical justification