Definition of power of a product property in math