The proof for the product property of logarithms requires simplifying the expression logb(bx+y) to x + y. Which property is used to justify this step?