I suspect the downvotes are just because this is a well-known result whose proofs are rather easy to google. But I like running into one of today's 10,000, I guess. https://xkcd.com/1053/
Fair enough. I'm enough not-a-mathematician that I didn't know it was well-known, and wouldn't even have known how google the proof! (Nor have much confidence I'd understand the real thing once I found it, lol.)
Anyway, I love that concept, and enjoy being on either side of the exchange. Thanks again.
