https://9lib.org/document/zpnxgdw4-loss-uniqueness-property-difference-approximation-dirichlet-problem.html