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.