Shannon only gave an outline of the proof.
香农只是提出了证明的大概提纲。