#include <bits/stdc++.h>
using namespace std;
const int maxx = 20;
int t[maxx][maxx], r, c, n, k;
int ans(int x, int y, int u, int v) {
  int g = 0;
  for (int i = x; i <= u; i++) {
    for (int j = y; j <= v; j++) {
      g += t[i][j];
    }
  }
  return g;
}
int main() {
  int res = 0;
  cin >> r >> c >> n >> k;
  for (int i = 0; i < n; i++) {
    int x, y;
    cin >> x >> y;
    x--, y--;
    t[x][y] = 1;
  }
  for (int i = 0; i < r; i++) {
    for (int j = 0; j < c; j++) {
      for (int u = i; u < r; u++) {
        for (int v = j; v < c; v++) {
          if (ans(i, j, u, v) >= k) res++;
        }
      }
    }
  }
  cout << res << endl;
  return 0;
}
