#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部定数
#define D_ON			1										// 汎用フラグ - ON
#define D_OFF			0										// 汎用フラグ - OFF
#define D_MARK_MAX		1000000									// 最大マーク数
#define D_NUM_MAX		1000000									// 最大数値

// 内部変数
static FILE *szpFpI;											// 入力
static int siMCnt;												// マーク数
static int siNCnt;												// 数値
static int si1Mark[D_MARK_MAX + 5];								// マーク有無
static int si1Num[D_NUM_MAX + 5];								// 数値有無

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
#endif

// 実行メイン
int
fMain(
	int piTNo					// <I> テスト番号 1～
)
{
	int i;
	char lc1Buf[1024], lc1Out[1024];

	// データ - 初期化
	memset(si1Mark, D_OFF, sizeof(si1Mark));					// マーク有無
	memset(si1Num, D_OFF, sizeof(si1Num));						// 数値有無

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", piTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", piTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// マーク数 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siMCnt);

	// 数値 - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &siNCnt);

	// カード数 - 取得
	int liCCnt;
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%d", &liCCnt);

	// カード - 取得
	for (i = 0; i < liCCnt; i++) {
		int liMark, liNum;
		fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
		sscanf(lc1Buf, "%d%d", &liMark, &liNum);

		// 有無セット
		si1Mark[liMark] = D_ON;
		si1Num[liNum] = D_ON;
	}

	// マッチ数 - マーク - 取得
	int liMCnt = 0;
	for (i = 1; i <= siMCnt; i++) {
		if (si1Mark[i] == D_ON) {
			liMCnt++;
		}
	}

	// マッチ数 - 数値 - 取得
	int liNCnt = 0;
	for (i = 1; i <= siNCnt; i++) {
		if (si1Num[i] == D_ON) {
			liNCnt++;
		}
	}

	// マッチ数 - 合計 - 取得
	long long llSum = (long long)siNCnt * (long long)liMCnt + (long long)siMCnt * (long long)liNCnt - (long long)liMCnt * (long long)liNCnt - liCCnt;

	// 結果 - セット
	sprintf(lc1Out, "%lld\n", llSum);

	// 結果 - 表示
#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, lc1Out)) {
		siRes = -1;
	}
#else
	printf("%s", lc1Out);
#endif

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", piTNo);
	}
	else {
		printf("NG %d\n", piTNo);
	}
#endif

	return 0;
}

int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		fMain(i);
	}
#else
	fMain(0);
#endif

	return 0;
}