Product-cycle theorem