[gizmo686]

I haven't dug into the proof to deeply, but that does not seem like something that would be that difficult to prove. It seems more like Keeler simply put mathematically correct writing into the show, and that math happens to be something that no one has bothered to formally show. Not to say that it is not an impressive level of detail to put into a cartoon, but the fact that it was first published in the show only shows that it is not a difficult or interesting result.