Prove the identity 13