Is there a formal proof of what you're talking about that we can read?
https://www.researchgate.net/profile/Walter-Ruzzo/publicatio...
https://www.researchgate.net/profile/Walter-Ruzzo/publicatio...