Wow, that's such a surprising theorem. Thanks for sharing.