Rodiklinės lygtys

Ar tiesa, kad lygties \(2^x = 7\) sprendinys yra \(x = \log_7 2\)?