The identity is .

To take the left hand side expression for prove that right hand side expression.

        (Apply quotient identity: )

         (Divide: )

   (Apply reciprocal identity: )

  is an identity.