function Main(input) {
	input=input.split("\n");
	var tmp=input[0].split(" ");
	var H=parseInt(tmp[0]);
	var W=parseInt(tmp[1]);
	var N=parseInt(tmp[2]);
	
	var imos=Array(H+2).fill().map(()=>Array(W+2).fill(0));
	for(var i=0;i<N;i++){
	  var query=input[i+1].split(" ");
	  var r1=parseInt(query[0]);
	  var c1=parseInt(query[1]);
	  var r2=parseInt(query[2]);
	  var c2=parseInt(query[3]);
	  
	  imos[r1][c1]++;
	  imos[r2+1][c1]--;
	  imos[r1][c2+1]--;
	  imos[r2+1][c2+1]++;
	}
	
	for(var i=1;i<=H;i++){
	  for(var j=1;j<=W;j++){
	    imos[i][j]+=imos[i][j-1];
	  }
	}
	
	for(var i=1;i<=H;i++){
	  for(var j=1;j<=W;j++){
	    imos[i][j]+=imos[i-1][j];
	  }
	}
	
	var ans=0;
	
	for(var i=1;i<=H;i++){
	  for(var j=1;j<=W;j++){
	    if(imos[i][j]==0){
	      ans++;
	    }
	  }
	}
	
	console.log(ans);
	
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));