sub_product_k2