Comment by hnfong

You can't really profit from proving theorems of applied problems (that are widely regarded to be true). Those who need to apply those theorems on real problems would have already done so (and if they don't work in some cases, well, congratulations... you found the counter example!)