Oscar_Cunningham comments on Open thread for December 17-23, 2013

[Oscar_Cunningham]

Doesn’t the fact that A implies B mean that it’s very easy to prove B once you’ve proved A?

[Anatoly_Vorobey]

You’re right, I blundered and this example is no good.