Dice game: properties of addition