log(10,x^2-7)=log(10,3x-9) for x real