Full threadta123456789·It's a nice proof, but probably not new.Same proof for example here: https://mathoverflow.net/a/32031View on HN