#include<stdio.h>
#include<iostream>
#include<string.h>
#include<string>
#include<ctype.h>
#include<math.h>
#include<set>
#include<map>
#include<vector>
#include<queue>
#include<bitset>
#include<algorithm>
#include<time.h>
using namespace std;
void fre(){freopen("c://test//input.in","r",stdin);freopen("c://test//output.out","w",stdout);}
#define MS(x,y) memset(x,y,sizeof(x))
#define MC(x,y) memcpy(x,y,sizeof(x))
#define MP(x,y) make_pair(x,y)
#define ls o<<1
#define rs o<<1|1
typedef long long LL;
typedef unsigned long long UL;
typedef unsigned int UI;
template <class T1,class T2>inline void gmax(T1 &a,T2 b){if(b>a)a=b;}
template <class T1,class T2>inline void gmin(T1 &a,T2 b){if(b<a)a=b;}
const int N=0,M=0,Z=1e9+7,ms63=0x3f3f3f3f;
int casenum,casei;
LL a,b;
void add(LL &x,LL y)
{
x=(x+y)%Z;
}
int main()
{
while(~scanf("%lld%lld",&a,&b))
{
LL tmp=(1+a)*a/2%Z;
LL ans=0;
for(int i=1;i<b;++i)//枚举余数
{
add(ans,i*a);
add(ans,b*i%Z*tmp);
}
printf("%lld\n",ans);
}
return 0;
}
/*
【题意】
给你两个数,1<=a,b<=1e7
我们想要知道,对于k∈[1,a],所有nice integers的和。
所谓nice integer,是指,如果x是nice integer,那么必要有——
1,mod(x,b)≠0
2,div(x,b)/mod(x,b)=k
【类型】
暴力
【分析】
这道题一眼看上去还以为是数论。
后来发现是暴力。
为什么呢?
我们发现mod(x,b),即余数的合法取值范围肯定是[1,b)
所以我们可以直接枚举mod(x,b)的所有合法取值。
然后,k的取值可以是[1,a]中的任意值。
于是,对于设x=kb+c,其中c为我们枚举的余数,我们需要把k取值为[1,a]所有情况下的结果做累加。
显然,只要累加上ac+(a+1)*a/2*b*i即可。
这样我们就做完啦!
【时间复杂度&&优化】
O(b)
*/