In the second lecture, we present the rigorous version of the key formula used in the proof — the cumulant formula. We also introduce the cutting operation and the cutting lemma, which are essential tools in the argument.