Shannon's expansion theorem