如何证明这种方法的正确性

#include<bits/stdc++.h>
using namespace std;
int n,m;
long long ans1,ans2;
int main()
{
    cin>>n>>m;
    for(int a=1;a<=n;a++)
        for(int b=1;b<=m;b++)
            {
                if(a==b) ans1+=((n+1-a)*(m+1-b));
                ans2+=((n+1-a)*(m+1-b));
            }
    cout<<ans1<<" "<<ans2-ans1<<endl;
    return 0;   
}