// yukicodr
// No.11



//二次元可変配列
//vector <vector <int>> mass;
//vector <vector <int>> memo;
//vector <int> memo;


//#include "stdafx.h"
#include <iostream>
#include <vector>
#include <list>//list
#include <queue> //queue
#include <set> //連想コンテナ(要素が自動でソートされる)、要素１つ(Key)、keyの重複ない、O(logN)
#include <map> //連想コンテナ(要素が自動でソートされる)、要素２つ(Key,data)、keyの重複ない、dataは重複あり、O(logN)
#include <unordered_set> //hash、O(1)
#include <unordered_map> //hash、O(1)
#include <algorithm>
#include <iomanip>
#include <cstring>
#include <string>
#include <climits>
//#include <bits/stdc++.h>

using namespace std;

#define FOR(x,to) for(x=0;x<to;x++)
#define ZERO(a) memset(a,0,sizeof(a))
#define MINUS(a) memset(a,0xff,sizeof(a))
#define FMAX(a,b)  ((a)>(b)?(a):(b))
#define FMIN(a,b)  ((a)<(b)?(a):(b))
#define FCEIL(a,b)  ((a)+(b)-1)/(b)

typedef unsigned long long ULL;
typedef signed long long SLL;


queue<int> _queue;





set<ULL> S;
set<ULL> K;

int main()
{
	ULL W, H;
	ULL N;

	cin >> W;
	cin >> H;
	cin >> N;

	for (int i=0;i<N;i++)
	{
		ULL s, k;
		cin >> s;
		cin >> k;
		S.insert(s);
		K.insert(k);
	}

	ULL ans = 0;

	ans = W * H - (W - S.size()) * (H - K.size()) - N;
	
	cout << ans << endl;


	//getchar();
	
	return 0;

}