#include <bits/stdc++.h>
using namespace std;

typedef long long ll;
#define bug(a) cout << #a << " : " << a << endl;

signed main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int t = 1;
    while (t--) {
        int n,m;cin>>n>>m;
        ll ans=0;
        int cur=0;
        for(int i=1;i<=min(n,m);i++){
            ans+=(n-cur)*(m-cur);
            cur++;
        }
        cout<<ans<<endl;
    }
    return 0;
}