#include <bits/stdc++.h>

using namespace std;

typedef long long int ll;

int main()
{
	ll row,col;
    cin>>row>>col;

    ll ans=row*col;

    for(ll i=2;i<=min(row,col);i++)
    {
        ans+=(1+(row-i))*(1+col-i);
    }
    cout<<ans<<endl;
}