#include <bits/stdc++.h>
int main() {
  int a, b, c, d, i, j, t1, t2, t3, kol = 0, var = 0, z1, z2;
  scanf("%d %d %d %d", &a, &b, &c, &d);
  int mas[a][b];
  for (i = 0; i < a; i++)
    for (j = 0; j < b; j++) mas[i][j] = 0;
  for (i = 0; i < c; i++) {
    scanf("%d %d", &t1, &t2);
    mas[t1 - 1][t2 - 1] = 1;
  }
  for (i = 0; i < a; i++) {
    for (j = 0; j < b; j++) {
      for (t1 = i; t1 < a; t1++)
        for (t2 = j; t2 < b; t2++) {
          for (z1 = i; z1 <= t1; z1++) {
            for (z2 = j; z2 <= t2; z2++) {
              if (mas[z1][z2] == 1) {
                kol++;
              }
            }
          }
          if (kol >= d) {
            var++;
          }
          kol = 0;
        }
    }
  }
  printf("%d", var);
  return 0;
}
