Comment by chrisweekly

Agreed, that's an elegant conclusion. Thanks for sharing.

PS Usually LLM-generated content is strongly penalized here (and with good reason). But IMHO, when clearly noting it as such, and sharing something worthwhile -- as in this case -- an exception should be made.