Во-первых, откровенно потерян модуль над

. Но это неважно на фоне дальнейшего. Главное: если

(или даже

, пусть это формально и неверно), то

, т.е.

, где

-- произвольное вещественное, но ненулевое (поскольку

-- произвольное положительное). То, что ненулевое -- конечно, выглядит подозрительно; и легко объясняется возможными потерями при разных там делениях; и легко (просто подстановкой) проверяется, что ноль тоже даёт допустимое решение.
Это --
стандартная логика при манипуляциях с логарифмами и должна проходить на автомате.