自己写：分组结果加起来必须等于总数

补全这条查询：按类别分组数个数。程序会把三组加起来和总行数对一次。输出三组个数之和、总行数、对不对得上（用 / 隔开）。

id  name    cat   price  stock      约束
 1  绿茶    饮料      6     12      id    主键
 2  红茶    饮料      6      0      name  非空且唯一
 3  苏打水  饮料      5   (空)      cat   非空
 4  薯片    零食      8      7      price 非空
 5  海苔    零食     12      3      stock 可以为空
 6  巧克力  零食     15   (空)
 7  铅笔    文具      2     40
 8  笔记本  文具      9      5
 9  橡皮    文具      3      0
10  冰红茶  饮料      4     20