Status Updates From I Am a Strange Loop

This guy takes multiple pages to describe one single equation. Extremely annoying person. \gcd\!\left(\prod_{p \in F} p,\; \prod_{p \in F} p + 1\right) = 1
\quad \text{if } F \text{ is finite.}