#include<bits/stdc++.h>
using lint=long long;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint h,w,n;std::cin>>h>>w>>n;
    std::vector<lint>a(n),b(n);
    for(lint i=0;i<n;i++){
        std::cin>>a.at(i)>>b.at(i);
    }
    std::sort(a.begin(),a.end());
    std::sort(b.begin(),b.end());
    lint x=0,y=0;
    for(lint i=1;i<=n;i++){
        if(i<n&&a.at(i-1)==a.at(i))continue;
        x++;
    }
    for(lint i=1;i<=n;i++){
        if(i<n&&b.at(i-1)==b.at(i))continue;
        y++;
    }
    std::cout<<h*w-((h-x)*(w-y)+n)<<'\n';
}