sum of reciprocals of powers of 2. 2. Theorem A is an imm