const stdin = require('process').stdin;
var input = "";
stdin.on('data', x => input += x);
stdin.on('end', () => {
    var ab = input.split(' ').map(x=>x.trim()).map(parseFloat);
    var j = 0;
    for(var i = 1; i < ab[1] - ab[0]; i++) { j += i; }
    console.log(j - ab[0]);
});