“…Similarly, observe that (L, 0) is solution of SP(0, 0, L). We call Skorokhod mapping the function that takes any continuous paths (z, l) and maps it to (y, k), where y = z + k is a path reflected on l. The Skorokhod mapping is Lipschitz continuous in the uniform topology (call C S the Lipschitz constant), see, for instance, Equations (2.1)-(2.2) in [13]. Thus, one gets that…”