Andrew Tomazos schrieb:> If I could get a sketch of the proof for the theorem using any of the> above in natural language that would be great. Once I see how the> proof works, and what it depends on, I will have a better idea where> to put stuff.> -Andrew.