Text this: Algebraic Properties of Arbitrage: An Application to Additivity of Discount Functions