Comment by esafak

I'd be impressed if an LLM derived this independently.