Prove the identity 9