https://123dok.net/document/zx5xkplw-guaranteed-posteriori-estimates-conforming-discretizations-diffusion-discontinuous-coefficients.html