Prove the identity 4