#include <bits/stdc++.h>
const double EPS = 0.00000001;
const long long mod = 1000000000 + 7;
using namespace std;
int a[20][20];
int valid(int i, int j, int ii, int jj, int k) {
  int ans = 0;
  for (int z = i; z <= ii; z++) {
    for (int w = j; w <= jj; w++) {
      if (a[z][w]) ans++;
    }
  }
  if (ans >= k) return 1;
  return 0;
}
int main() {
  int n, m, k, w;
  cin >> n >> m >> k >> w;
  for (int i = 0; i < k; i++) {
    int u, v;
    cin >> u >> v;
    u--, v--;
    a[u][v] = 1;
  }
  int ans = 0;
  for (int i = 0; i < n; i++) {
    for (int j = 0; j < m; j++) {
      for (int ii = i; ii < n; ii++) {
        for (int jj = j; jj < m; jj++) {
          if (valid(i, j, ii, jj, w)) ans++;
        }
      }
    }
  }
  cout << ans << endl;
  int ____________;
  cin >> ____________;
  return 0;
}
