for each expression, use a property to write an equivalent expression. for ab