How to prove the logarithmic identity