Comment by kevinwang

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