如果判断销售的数量是否大于库存的数量

商品表 product
pro_id(id号）  pro_amount(库存量）
  1              2
  2              5
在销售单的datagridview 中
proid(商品ID）   proamount（销售数量）
   1               1
   1               3
   2               1如何判断销售的数量是否大于商品的库存，如果大于就提示“不允许负库存销售“
商品ID=1的商品，销售的数量是1+3=4，大于2，就不充许销售。