#include<iostream>
#include<vector>

using namespace std;

void swap(long long *a,long long *b){
	int tmp;
	tmp=*a;
	*a=*b;
	*b=tmp;
}

int main(){

	long long W,H,S,K;
	int N;
	vector<long long> Sv,Kv,Scv,Kcv;
	long long ans=0;

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

	for(int i=0;i<N;i++){
		cin>>S>>K;
		if(Sv.size()==0){
			Sv.push_back(S);
			Scv.push_back(1);
		}
		else{
			bool f=true;
			for(int j=0;j<Sv.size();j++){
				if(S==Sv[j]){
					Scv[j]++;
					f=false;
					break;
				}
			}
			if(f){
				Sv.push_back(S);
				Scv.push_back(1);
			}
		}
		if(Kv.size()==0){
			Kv.push_back(K);
			Kcv.push_back(1);
		}
		else{
			bool f=true;
			for(int j=0;j<Kv.size();j++){
				if(K==Kv[j]){
					Kcv[j]++;
					f=false;
					break;
				}
			}
			if(f){
				Kv.push_back(K);
				Kcv.push_back(1);
			}
		}
	}

	for(int i=0;i<Kv.size();i++){
		for(int j=0;j<Kv.size()-1-i;j++){
			if(Kv[j]>Kv[j+1]){
				swap(&Kv[j],&Kv[j+1]);
				swap(&Kcv[j],&Kcv[j+1]);
			}
		}
	}

	ans=0;
	int Ni=0;
	for(int i=1;i<=H;i++){
		if(Ni>=Kv.size()||Kv[Ni]!=i) ans+=Sv.size();
		else{
			ans+=W-Kcv[Ni];
			Ni++;
		}
		//cout<<i<<","<<ans<<endl;
	}

	cout<<ans<<endl;

}