The random variable F {\displaystyle F} may appear a bit mysterious, but it mirrors the probabilistic proof in a systematic way.
Случайная переменная F {\displaystyle F} может показаться несколько таинственной, но она отражает систематический поход вероятностного доказательства.