include <bits/stdc++.h>

using namespace std; int main(){

int n,m;
cin>>n>>m;
cout<<((1+n)*n)/2+1-((m-2)*(m-1)/2)<<endl;
return 0;

}