Add Shannon's expansion example and theorems