Proving an identity