I was reading that one yesterday, in connection with https://math.stackexchange.com/a/4429436/25554 https://math.stackexchange.com/a/4429436/25554 . (The answe

I was reading that one yesterday, in connection with https://math.stackexchange.com/a/4429436/25554 https://math.stackexchange.com/a/4429436/25554 . (The answer that mentioned it has since been deleted.)