Shannons Expansion Theorem Proof