Shannon's expansion - theorem in Boolean algebra