prooving that evalp preservs addition