Euler's structure theorem for any odd perfect number is extended to odd multiperfect numbers of abundancy power of 2. In addition, conditions are found for classes of odd numbers not to be 4-perfect: some types of cube, some numbers divisible by 9 as the maximum power of 3, and numbers where 2 is the maximum even prime power.