  ::::::I thought the later version was OK, too. The deeper question is whether it's better to be vague in the lede (as the revision you reverted back to is), or better to state the theorem precisely, without really explaining it. Each of these has some advantage, and personally I am somewhat ambivalent. My main concern is for the lede to be very clear to readers of all levels (particularly for people who know just enough to be tempted to misread whatever is written, or confused if it seems to disagree with what they have read elsewhere). — Carl ( ·  