#ifndef INCLUDED_MAIN
#define INCLUDED_MAIN

#include __FILE__

using namespace nskr;


int main(void){
    int h, w; cin >> h >> w;
    int n; cin >> n;
    vector<vector<bool>> t(h,vector<bool>(w,true));
    for(;n--;){
        int a,b,c,d; cin >> a >> b >> c >> d;
        a--;b--;c--;d--;
        for(int i=a; i<=c; i++){
            for(int j=b; j<=d; j++){
                t[i][j] = false;
            }
        }
    }

    int i,j, ans = 0;
    rep(i,h){
        rep(j,w){
            if(t[i][j]) ans++;
         }
    }
    cout << ans << "\n";
}

#else
#include <bits/stdc++.h>
using namespace std;

using ll = long long;
using ld=  long double;
#define rep(i,n) for(i=0;i<(n);i++)
#define all(a) a.begin(), a.end()
#define rall(a) a.rbegin(), a.rend()

namespace nskr{}

int randint(int a, int b){
    static mt19937 gen(chrono::steady_clock::now().time_since_epoch().count());
    uniform_int_distribution<int> dist(a,b);
    return dist(gen);
}


#endif