Board Thread:General Discussion/@comment-25791332-20141107042548/@comment-24037865-20141107084149

Dunno, but seems like a good theorem.