Product to sum theorem