The power group enumeration theorem