2 ms·HN rewrote the link, the original one was: https://mathoverflow.net/a/15631 https://mathoverflow.net/a/15631by yamrzou 3y agoHN rewrote the link, the original one was: https://mathoverflow.net/a/15631 https://mathoverflow.net/a/15631