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

typedef long long int ln;

void run(void){
  int w,h,n;
  scanf("%d%d%d",&w,&h,&n);

  char *kind;
  kind=(char *)calloc(w+1,sizeof(char));
  char *number;
  number=(char *)calloc(h+1,sizeof(char));
  int i;
  for(i=0;i<n;i++){
    int s,k;
    scanf("%d%d",&s,&k);
    kind[s]=1;
    number[k]=1;
  }

  ln kindSum=0;
  for(i=1;i<=w;i++){
    kindSum+=kind[i];
  }
  ln numberSum=0;
  for(i=1;i<=h;i++){
    numberSum+=number[i];
  }
  ln ans=(ln)w*h-(w-kindSum)*(h-numberSum)-n;
  printf("%lld\n",ans);
  free(kind);
  free(number);
  return;
}

int main(void){
  run();
  return 0;
}