#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define REP(i,n) for(long (i)=0;(i)<(n);(i)++) #define FOR(i,a,b) for(long (i)=(a);(i)<(b);(i)++) #define RREP(i,a) for(long (i)=(a)-1;(i)>=0;(i)--) #define FORR(i,a,b) for(long (i)=(a)-1;(i)>=(b);(i)--) #define MOD 1000000007 #define PI acos(-1.0) #define DEBUG(C) cout< #define PLL pair #define ALL(a) (a).begin(),(a).end() #define SORT(a) sort((a).begin(),(a).end()) #define RSORT(a) sort((a).begin(),(a).end(),greater()) #define MP(a,b) make_pair(a,b) typedef long long LL; typedef unsigned long long ULL; using namespace std; int main(void){ long W,H,N; cin>>W>>H>>N; LL ans=0; set sh,sw; REP(i,N){ long s,k; cin>>s>>k; sh.insert(s); sw.insert(k); } ans=sh.size()*H+sw.size()*W-N-(sh.size()*sw.size()); cout<