https://9dok.net/document/zkwldeme-establishes-general-posteriori-analysis-conditions-equivalent-stability-estimates.html