logarithm rules proof

join shbcf.ru