Theorems for the lightcone bootstrap

Consider a conformally covariant four-point function of identical scalar operators with a discrete spectrum, a twist gap, and compatible with the unitarity conditions. We give a mathematical proof confirming that the spectrum and OPE coefficients at large spin and fixed twist always become that of a generalized free field theory.