//#include <algorithm>
//#include <cmath>
//#include <cstring>
#include <iostream>
#include <map>
#include <numeric>
//#include <queue>
#include <set>
//#include <sstream>
//#include <stack>
#include <string>
#include <vector>
#include <iterator>

//#define pb push_back
//#define puts(x) cout << #x << " : " << x << endl;
//#pragma GCC diagnostic ignored "-Wconversion"
//#define REP(i,n) for (int i=0;i<(n);i++)
//#define REPE(i,n) for (int i=0;i<=(n);i++)
//#define init(a,b) memset((a), (b), (sizeof(a)));
//#define PI 3.14159265
//#define EPS (1e-10)
//#define EQ(a,b) (abs((a)-(b)) < EPS)

using namespace std;

typedef long long ll;
//#define int long long

typedef pair<int, int> P;

int s[105], k[105];

signed main() {
    int w,h,n;
    cin>>w>>h>>n;
    ll res = 0;
    set<int> used_s, used_k;
    for(int i=0;i<n;i++)
        cin>>s[i]>>k[i];
    for(int i=0;i<n;i++){
        ll t = 0;

        ll used_s_size = used_s.size();

        if (used_s.count(s[i]) == 0) {
            // 同じマークのマッチ
            // 数字の数だけマッチする
            t = h - 1;
            // すでに数字側マッチで利用したマーク分を引く
            t -= used_k.size();
            t = max(t, 0ll);
            res += t;
//            cout<<"a:"<<i<<':'<<s[i]<<':'<<k[i]<<':'<<t<<endl;
            used_s.insert(s[i]);
        } else {
//            res--;
        }
        if (used_k.count(k[i]) == 0) {
            // 同じ数字のマッチ
            // マークの数だけマッチする
            t = w - 1;
            // マーク側マッチで利用した分を引く
            t -= used_s_size;
            t = max(t, 0ll);
            res += t;
//            cout<<"b:"<<i<<':'<<s[i]<<':'<<k[i]<<':'<<t<<endl;
            used_k.insert(k[i]);
        }else{
//            res--;
        }
//        cout<<"c:"<<i<<':'<<s[i]<<':'<<k[i]<<':'<<t<<endl;
    }
    cout<<res<<endl;
    return 0;
}