Converting between PMF and CDF

• Theorem: If $X$ is a discrete random variable with countable states $\{x_1, x_2, \dots\}$, then, the PMF can be obtained as $p_X(x_k) = F_X(x_{k}) - F_X(x_{k-1})$.