#include <bits/stdc++.h>
const char en = '\n';
using namespace std;
long long prv = 1000000007;
int main() {
  ios::sync_with_stdio(false);
  long long a, b;
  cin >> a >> b;
  long long s = 0;
  for (long long i = 1; i < b; i++) {
    long long sum = (a * (a + 1)) / 2;
    sum %= prv;
    sum *= i;
    sum %= prv;
    sum *= b;
    sum %= prv;
    sum += a * i;
    sum %= prv;
    s += sum;
    s %= prv;
  }
  cout << s << endl;
}
