Twierdzenie o logarytmie iloczynu (twierdzenie o sumie logarytmów)

Dla $a\in {\mathbb{R}}_{+}\setminus \left\{1\right\}$ oraz liczb $x>0$, $y>0$ zachodzi: ${\log }_a\left(x\cdot y\right)={\log }_{a}x+{\log }_{a}y$.