visual_product_mod_sum_eq