Prove the identity 17