#include <bits/stdc++.h>
using namespace std;
const int N = 4e6, MOD = 1e9 + 7;
const long double EPS = 0.000000001;
int a[1000][1000];
signed main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  int r, c, n, k;
  cin >> r >> c >> n >> k;
  for (int i = 0; i < n; i++) {
    int l, r;
    cin >> l >> r;
    l--;
    r--;
    a[l][r] = 1;
  }
  int ans = 0;
  for (int i = 0; i < r; i++) {
    for (int j = 0; j < c; j++) {
      int kol = 0;
      for (int i1 = 0; i1 < r; i1++) {
        for (int j1 = 0; j1 < c; j1++) {
          kol = 0;
          if (i + i1 < r && j + j1 < c) {
            for (int i2 = i; i2 <= i + i1; i2++) {
              for (int j2 = j; j2 <= j1 + j; j2++) kol += a[i2][j2];
            }
            if (kol >= k) ans++;
          }
        }
      }
    }
  }
  cout << ans;
}
