Logarytmy - dowodzenie równości