Product_Rule_for_Counting