Вычесть количество продукта после обработки заказа. Asp. Net MVC

Question

Я хотел бы получить номер продукта после обработки заказа. Например: начальное количество продукта: 50 количество заказа: 10 конечное количество продукта = 50-10 = 40

// Функция технологического заказа

public ActionResult ProcessOrder(FormCollection frc)
    {
        List<Cart> lstCart = (List<Cart>)Session[strCart];
        Order order = new Order()
        {
            CustomerName = frc["cusName"],
            CustomerPhone = frc["cusPhone"],
            CustomerEmail = frc["cusEmail"],
            CustomerAddress = frc["cusAddress"],
            OrderName = "Grocery",
            OrderDate = DateTime.Now,
            PaymentType = "Cash",
            Status = "Processing"
        };

        db.Orders.Add(order);
        db.SaveChanges();

        try
        {
            foreach (Cart cart in lstCart)
            {
                OrderDetail orderDetail = new OrderDetail()
                {
                    OrderID = order.OrderID,
                    ProductID = cart.Product.pro_id,
                    Quantity = cart.Quantity,
                    Price = cart.Product.pro_unitPrice
                };

                //product pro = new product()
                //{
                //    pro_quantity = pro.pro_quantity- cart.Quantity 
                //};

                db.OrderDetails.Add(orderDetail);
                db.SaveChanges();
            }
        }
        catch (DbEntityValidationException ex)
        {
            foreach (var errors in ex.EntityValidationErrors)
            {
                foreach (var validationError in errors.ValidationErrors)
                {
                    // get the error message 
                    string errorMessage = validationError.ErrorMessage;
                }
            }
        }

        Session.Remove(strCart);

        return View("OrderSuccess");
    }
}

Таблица сущностей продукта и заказа Подробнее