Which formula are you looking for? The proof that the sentence in the bottom is true? Or do you mean the formulas in the screenshot there?