Prove the identity 1