#include<bits/stdc++.h> using namespace std; int main(){ int n,m; cin >> n >> m ; cout << (n+m)*m/2; return 0; }