function main(input) {
  input=input.trim();
  const a = parseInt(input.split(" ")[0], 10);
  const b = parseInt(input.split(" ")[1], 10);
  console.log(((b-a)*(b-a+1)/2)-b);
}


main(require('fs').readFileSync('/dev/stdin', 'utf8'));
