Thanks Curious. I know that you are right, I just quibble ...

But it is usual in high-school Maths when showing that two relations P an G are equivalent that we say: we got Q from P through equivalence relations, so the proof works backwards, too. Applying the same relations in the opposite order we would get also Q→P.
To admit the truth, it is not the case here. xy=5 follows from the equation supposed it is valid, that is, both x and y are positive, but not vice versa. The last step of the proof log x +log y →log(xy), is true, but log(xy)→log x+log y is not without excluding non-positive x, y values.
To show that there is only one solution of the original equation it is enough to refer that it is linear in the logarithms and logarithm is a monotonous function:lg(x)=log(a)→x=a Proving that xy=5 is solution means also that it is the only solution. ehild