#include <iostream>
#include <iomanip>
#include <cmath>
#include <algorithm>
#include <vector>
#include <string>
#include <deque>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <unordered_set>
#include <unordered_map>
#include <cstdio>
#include <random>
#include <chrono>

using namespace std;

using ll = long long;
using ld = long double;

mt19937_64 rnd(chrono::steady_clock::now().time_since_epoch().count());

//#define int long long
#define all(x) (x).begin(), (x).end()
//vector<int> cnt;
//vector<vector<int>> s;
//vector<int> a;
//vector<int> t;
//
//void rec(int l, int r, int k) {
//    if (l > r) return;
//    if (s[k].empty()) {
//        cout << -1;
//        exit(0);
//    }
//    if (k == 1) {
//        a.push_back(t[s[k].back()]);
//        cout << t[s[k].back()] << endl;
//        s[k].pop_back();
//        return;
//    }
//    s[k].pop_back();
//    int mid = (l + r) / 2;
//    rec(l, mid, k - 1);
//    rec(mid + 1, r, k - 1);
//}

void solve() {

//    int n;
//    cin >> n;
//    vector<int> a(n);
//    for (auto &i: a) cin >> i;
//    t = a;
//    sort(t.begin(), t.end());
//    for (auto &i: a) i = lower_bound(t.begin(), t.end(), i) - t.begin();
//    cnt.resize(n);
//    s.resize(n);
//    for (auto i: a) cnt[i]++;
//    for (int i = 0; i < n; i++) s[cnt[i]].push_back(i);
//    for (auto i: s) {
//        for (auto j: i) cout << t[j] << ' ';
//        cout << '\n';
//    }
//    int k = 1;
//    while ((1 << k) < n) k++;
//    rec(0, (n + 1) / 2 - 1, k);
//    for (auto i : a) cout << i << ' ';

    ll n, m;
    cin >> n >> m;
    ll res = 0;
    ll curr = n * m;
    for (int i = 0; i < m; i++){
        res += curr;
        curr -= n;
    }
    res += ((1 + n) * n / 2 + n - 1) * m;
    cout << res - n;
}

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    ll timer = 1;
    // cin >> timer;
    while (timer--) {
        solve();
    }
    return 0;
}

/*
#.#.#.....
.......##.
.#..#.....
.#........
.#..##....
..........
####...#..
.......#..
.......#..
##........

 */