#include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef pair<ll,ll> P;
#define REP(i,n) for(ll i=0;i<ll(n);i++)






ll a[2010][2010];







int main(void){
	cin.tie(nullptr);  ios_base::sync_with_stdio(false);
	ll i,j;




	ll H,W,N;
	cin >> H >> W >> N;

	REP(i,N){

		ll r,c,r1,c1;
		cin >> r >> c >> r1 >> c1;

		a[r][c]++;
		a[r][c1+1]--;
		a[r1+1][c]--;
		a[r1+1][c1+1]++;

	}


		for(i=1;i<=H;i++){
			for(j=1;j<=W;j++){
				a[i][j]+=a[i][j-1];
			}
		}


		for(j=1;j<=W;j++){
			for(i=1;i<=H;i++){
				a[i][j]+=a[i-1][j];
			}
		}



        ll ans=0;
		for(j=1;j<=W;j++){
			for(i=1;i<=H;i++){
				if(a[i][j]==0) ans++;
			}
		}



		cout << ans << endl;

















	return 0;

}