How to simplify 1/3 (9v-2)?