Prove the identity 18