[ta123456789]

It's a nice proof, but probably not new.

Same proof for example here: https://mathoverflow.net/a/32031