General product rule