Text this: Theorems for the lightcone bootstrap