In my understanding of a derivation, the following statement seems to be used: $$Pr[V\leq X]=E[Pr[V\leq X|X]]$$ where both $X$ and $V$ are random variables. Is this a kind of the law of iterated expectation?

Full article content could not be extracted automatically. Read the original below.