(defn input []
  (->> (clojure.string/split (read-line) #"\s")
    (map #(Integer/parseInt %))))

(defn StoneMonument [[a b]]
  (- (apply + (range 1 (inc (- b a)))) b))

(-> (input)
  StoneMonument
  println)