 :::Psychobabble appears confused, since he responded to a request for a statement of the theorem (not for the proof) by saying that the proof (not the theorem) is complicated.  My guess is there is a simple statement and Psychobabble doesn't know it.  