The maximum power of 2 dividing a power of 2 is itself. This occurs