#ifndef ONLINE_JUDGE
#define _GLIBCXX_DEBUG
#endif
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll=long long;
using ld=long double;
using st=string;
using P=pair<ll,ll>;
typedef atcoder::modint mint;
ll inf=9e18;
template<typename T, int s, int i = 0>
auto vec(const ll (&sizes)[s], const T& init = T()){
  if constexpr(i < s) return vector(sizes[i], vec<T, s, i+1>(sizes, init));
  else return init;
}


bool prime(ll n){
  for(ll i=2;i<n;i++){
    if(n%i==0) return 0;
  }
  return 1;
}

int main(){
  ll h,w,n,ans=0;
  cin>>h>>w>>n;
  auto v=vec<ll>({h+1,w+1},0);
  for(ll i=0;i<n;i++){
    ll r1,c1,r2,c2;
    cin>>r1>>c1>>r2>>c2;
    r1--;c1--;r2--;c2--;
    v[r1][c1]++;
    v[r2+1][c2+1]++;
    v[r1][c2+1]--;
    v[r2+1][c1]--;
  }
  for(ll i=0;i<h-1;i++){
    for(ll j=0;j<w;j++){
      v[i+1][j]+=v[i][j];
    }
  }
  for(ll i=0;i<h;i++){
    for(ll j=0;j<w-1;j++){
      v[i][j+1]+=v[i][j];
    }
  }
  for(ll i=0;i<h;i++){
    for(ll j=0;j<w;j++){
      ans+=(v[i][j]==0);
    }
  }
  cout<<ans<<"\n";
}