The identity is

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

    (Apply quotient identity: )

   (Apply reciprocal identity: )

                                             (Cancel common terms)

  is an identity.