12345

#include<iostream>
int main(){
    long long n,m,x=0;
    std::cin>>n>>m;
    for(int i=n,j=m;std::min(i,j)>0;i--,j--) x+=i*j;
    std::cout<<x;
}