#include<bits\stdc++.h>
#define ll long long
using namespace std;

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  int h, w;
  cin >> h >> w;
  if (h < w) swap(h, w);
  if (w == 1) {
    cout << h * (h + 1) / 2 - 1 + h;
    return 0;
  }
  ll ans = h * w;
  ll x = h * (h + 1) / 2 - 1;
  for (int i = 2; i <= w; i++) ans += h * i;
  cout << ans + x * w;
}
