[SoBeDude]

Just because there is a theorem, doesn't mean a proof exists, or if it did, that would be easy to unnderstand. Have you even tried to decipher any but the most simplest proofs?

Look at the 4-color theorem thats what, a couple of centuries old? No true proof exists, but it was proven true by an exhaustive computer program within the last 5-10 years (can't remember the details).

So the 4-color theorem, which has been widely believed to be true for a very long time, was and still has never been proven by a traditional mathematics proof...although some of the world's best minds have tried.

So although he may (and I repeat MAY) be taking some literary license with the use of the word theorem, I believe the concept is very sound, and, just like the 4-color theorem, much computer simulation has proven the concept to be valid.

Just my thoughts!

-Scott