Combination Theorem for Sequences/Product Rule