#include <bits/stdc++.h>
using namespace std;
const int INF = 0x3f3f3f3f;
const long long INFL = 0x3f3f3f3f3f3f3f3fLL;
const double DINF = 0x3f3f3f3f;
int main() {
  ios::sync_with_stdio(false);
  int n, x;
  cin >> n >> x;
  int ans = 0;
  ans += x;
  ans += n - x;
  ans += x * 2;
  for (int i = 0; i < (int)(x + 1); i++) {
    ans += (n - x * 2);
  }
  cout << ans << endl;
  return 0;
}
