#include <bits/stdc++.h>
using namespace std;
int main() {
  int inputR, inputC, inputTot, inputMin;
  cin >> inputR;
  cin >> inputC;
  cin >> inputTot;
  cin >> inputMin;
  int scene[inputR][inputC];
  for (int i = 0; i < inputR; i++) {
    for (int j = 0; j < inputC; j++) {
      scene[i][j] = 0;
    }
  }
  int inputVrow, inputVcol;
  for (int i = 0; i < inputTot; i++) {
    cin >> inputVrow;
    cin >> inputVcol;
    scene[inputVrow - 1][inputVcol - 1] = 1;
  }
  int actualV = 0;
  int photos = 0;
  for (int i = 0; i < inputR; i++) {
    actualV = 0;
    for (int j = 0; j < inputC; j++) {
      actualV = 0;
      for (int i2 = 0; i2 <= i; i2++) {
        actualV = 0;
        for (int j2 = 0; j2 <= j; j2++) {
          actualV = 0;
          for (int i3 = i2; i3 <= i; i3++) {
            for (int j3 = j2; j3 <= j; j3++) {
              actualV += scene[i3][j3];
            }
          }
          if (actualV >= inputMin) {
            photos++;
          }
        }
      }
    }
  }
  cout << photos;
  return 0;
}
