Proof of Lemma 1. If for some natural r and m the equality log(2) = r/m held true, then the definition of a logarithm would straightforwardly imply that  This is a contradiction, for any power of 10 is divisible by 5, while any power of 2 - certainly not. |