https://5dok.net/document/6zkj26eq-prager-synge-theorem-reconstruction-based-posteriori-error-estimation.html