= 11nm is equivalent to
= 9nm is equivalent to
= 9nm is equivalent to
= nm is equivalent to
= nm.
Under the assumption n > 0, m > 0, n > m it implies that
2*log((n-m)/3) = log(n) + log(m), which is equivalent to
(1/2)*(log(n) + log(m)) = log((n-m)/3).