If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Doesn't the fact that A implies B mean that it's very easy to prove B once you've proved A?
You're right, I blundered and this example is no good.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.