If you use the fact that log_ba*log_ab=1 you'll need to prove this result.