#include <bits/stdc++.h>
using namespace std;
int main() {
  int i, j, k, l, p, n, m, r, c, cnt;
  cin >> r >> c >> n >> p;
  int a[10][10] = {0};
  for (i = 0; i < n; i++) {
    cin >> j >> l;
    a[j - 1][l - 1] = 1;
  }
  cnt = 0;
  int ans = 0;
  for (i = 0; i < r; i++) {
    for (j = 0; j < c; j++) {
      for (k = i; k < r; k++) {
        for (l = j; l < c; l++) {
          cnt = 0;
          for (n = i; n <= k; n++) {
            for (m = j; m <= l; m++) {
              if (a[n][m] == 1) {
                cnt++;
              }
            }
          }
          if (cnt >= p) {
            ans++;
          }
        }
      }
    }
  }
  cout << ans << endl;
  return 0;
}
