The Prager–Synge theorem in reconstruction based a posteriori error estimation