public void Solve()
		{
			var (h, w, m) = cin.ReadValue<int, int, int>();
			var (x, y) = cin.ReadValueArray<int, int>(m);
			var p = Enumerable.Zip(x, y, (x, y) => (x, y)).ToArray();
			var yoko = Enumerable.Repeat((long)w, h).ToArray();
			var tate = Enumerable.Repeat((long)h, w).ToArray();
			for (var i = 0; i < m; i++)
			{
				yoko[x[i] - 1].Chmin(y[i] - 1);
				tate[y[i] - 1].Chmin(x[i] - 1);
			}
			var yokoAvail = yoko[0];
			var tateAvail = tate[0];
			for (var i = tateAvail + 1; i < h; i++)
			{
				yoko[i] = 0;
			}
			for (var i = yokoAvail + 1; i < w; i++)
			{
				tate[i] = 0;
			}
			var tateS = tate.Select((value, index) => (value, index)).OrderBy(v => v.value).ToArray();
			var yokoS = yoko.Select((value, index) => (value, index)).OrderBy(v => v.value).ToArray();
			var ans = yoko.Sum() + tate.Sum();
			var set = new Set<long>();
			set.IsMultiSet = true;
			int index = 0;
			for (var i = 0; i < w; i++)
			{
				var next = tateS[i].value - 1;
				if (next == -1) continue;
				while (index < h && index <= next)
				{
					set.Add(yoko[index]);
					index++;
				}
				var s = set.LowerBound(tateS[i].index + 1);
				ans -= set.Count - s;
			}
			Console.WriteLine(ans);
		}