Prove that #(1/log_xa)+(1/log_xb)=log_ax+log_bx#?