Infima of superharmonic functions

Let Ω be a Greenian domain in ℝ ^d , d≥2, or—more generally—let Ω be a connected -Brelot space satisfying axiom D, and let u be a numerical function on Ω, , which is locally bounded from below. A short proof yields the following result: The function u is the infimum of its superharmonic majorants if and only if each set {x:u(x)>t}, t∈ℝ, differs from an analytic set only by a polar set and , whenever V is a relatively compact open set in Ω and x∈V.