Thanks; I am not really interested in the theorem per se, but in the tools that are useful for proving it. I guess the special cases use quite different tools, which is what makes them much easier.
In general, I would like to read about things that are not high-school knowledge, but that have a short inferential distance from the high-school knowledge. But I don’t have a strong preference for anything specifically here; mostly because I don’t even know what’s there.
Thanks; I am not really interested in the theorem per se, but in the tools that are useful for proving it. I guess the special cases use quite different tools, which is what makes them much easier.
In general, I would like to read about things that are not high-school knowledge, but that have a short inferential distance from the high-school knowledge. But I don’t have a strong preference for anything specifically here; mostly because I don’t even know what’s there.