  In this paper, we prove the Soul Conjecture in Alexandrov geometry in
dimension $4$, i.e. if $X$ is a complete non-compact $4$-dimensional Alexandrov
space of non-negative curvature and positive curvature around one point, then a
soul of $X$ is a point.
