#include <bits/stdc++.h>
using namespace std;
int n, r, c, k;
const int N = 11;
int g[N][N];
void input() {
  memset(g, 0, sizeof g);
  scanf("%d %d %d %d", &r, &c, &n, &k);
  for (int i = 0; i < n; i++) {
    int u, v;
    scanf("%d %d", &u, &v);
    u--;
    v--;
    g[u][v] = 1;
  }
}
void bruteforce() {
  int ans = 0;
  for (int i1 = 0; i1 < r; i1++)
    for (int j1 = 0; j1 < c; j1++) {
      for (int i2 = i1; i2 < r; i2++) {
        for (int j2 = j1; j2 < c; j2++) {
          int hcn = 0;
          for (int i = i1; i <= i2; i++) {
            for (int j = j1; j <= j2; j++) hcn += g[i][j];
          }
          if (hcn >= k) ans++;
        }
      }
    }
  cout << ans << endl;
}
int main() {
  input();
  bruteforce();
}
