#include <bits/stdc++.h>
using namespace std;
int mod = 1e9 + 7;
int main(int argc, char** argv) {
  long long a, b;
  cin >> a >> b;
  long long res = (((a * (a + 1) / 2) % mod) * b) % mod + a;
  res = (((b * (b - 1) / 2) % mod) * res) % mod;
  cout << res;
  return 0;
}
