Small brain: Here's the statement of the theorem, here's the proof. Medium brain: You can find it in this other paper. Big brain: The result is folklore, I heard about it from this guy. Galaxy brain: If you cajole ChatGPT a bit you can get it to give you a proof.