 Solution

The two formulas for the adjunction transposes give both triangle identities for an adjunction directly. Apply the inverse bijection to the transpose of $1_{FA}$:Apply the forward bijection to the inverse transpose of $1_{GB}$:These are equalities of components of natural transformations, soNo cancellation assumption on either functor is needed: both identities follow from the inverse hom-set bijections.