#include "bits/stdc++.h"
using namespace std;

typedef long long Int;
#define REP(i,n) for(int (i)=0;(i)<(int)(n);++(i))

int S[110];
int K[110];
int main() {
	Int W, H;
	int N;
	cin >> W >> H >> N;
	REP(i, N) {
		cin >> S[i] >> K[i];
	}
	vector<int> s(S, S + N);
	vector<int> k(K, K + N);
	sort(s.begin(), s.end()); s.erase(unique(s.begin(), s.end()), s.end());
	sort(k.begin(), k.end()); k.erase(unique(k.begin(), k.end()), k.end());

	Int ans = 0;
	ans += s.size() * H;
	ans += k.size() * W;
	ans -= s.size() * k.size();
	ans -= N;
	cout << ans << endl;
}