Wall's theorem on stabilization