main(c,d,e){for(;~scanf("%d%d",&c,&d);printf("%d\n",e))for(e=0;c*d;e+=c--*d--);}