Shannons Expansion Theorem