logb x + logb y = logb (x · y)
logb x − logb y = logb (x : y)
bT1(x) = bT2(x) [ T1(x) und T2(x) sind x-Terme ]
T1(x) = T2(x)