Consider two CDF's $F_1$ and $F_2$ and assume that they satisfy $$ F_1(y-)\leq F_2(y) \quad \quad and \quad \quad F_2(y-)\leq F_1(y) $$ for all $y\in \mathbb{R}$, then it holds that $F_1=F_2$.
I see that $F_1(y)=F_2(y)$ for all $y\in \mathbb{R}$ that is not discontinuity points of $F_1$ and $F_2$, but how do i use this to prove that $F_1(y)=F_2(y)$ for all $y\in \mathbb{R}$?