// yukicoder: No.11 カードマッチ
// 2019.4.8 bal4u
// ソート済数列のユニーク化

#include <stdio.h>
#include <stdlib.h>

//// 高速入力
#if 0
#define gc() getchar_unlocked()
#else
#define gc() getchar()
#endif
int in()    // 非負整数の入力
{
	int n = 0, c = gc();
	//	while (isspace(c)) c = gc();
	do n = 10 * n + (c & 0xf), c = gc(); while (c >= '0');
	return n;
}

// 配列a, 個数n,　リターン値はユニーク化した配列の長さ（個数）
int uniq(int *a, int n)
{
	int i, j;

	//	if (n == 0) return 0;
	for (i = 0, j = 1; j < n; j++) {
		while (j < n && a[j] == a[i]) j++;
		if (j < n) if (++i != j) a[i] = a[j];
	}
	return i + 1;
}

int s[105], k[105];

int cmp(const void *a, const void *b) { return *(int *)a - *(int *)b; }

int main()
{
	int i, a, b, W, H, N;

	W = in(), H = in(), N = in();
	for (i = 0; i < N; i++) s[i] = in(), k[i] = in();
	qsort(s, N, sizeof(int), cmp);
	a = uniq(s, N);
	qsort(k, N, sizeof(int), cmp);
	b = uniq(k, N);
	printf("%lld\n", (long long)a*H + (long long)b*W - (long long)a*b - N);
	return 0;
}