The arithmetics of two dimensional belief functions