`log x + log y` `= log (x + y) ⇒ log (x + y)` `= log (xy)` `:. x + y = xy` `or y(x - 1)` `= x or y = x/(x - 1)`