Prove the identity 8