#include <bits/stdc++.h>
using namespace std;
long long a, b;
int main() {
  scanf("%I64d%I64d", &a, &b);
  long long c = ((b - 1) * b / 2) % 1000000007,
            d = ((b * (a * (a + 1) / 2 % 1000000007) + a) % 1000000007);
  long long ans = (c * d) % 1000000007;
  printf("%I64d\n", ans % 1000000007);
  return 0;
}
