 These equations are useful in reducing proofs about adjoint functors to algebraic manipulations.They are sometimes called the "triangle identities", or sometimes the "zig-zag equations" because of the appearance of the corresponding string diagrams.A way to remember them is to first write down the nonsensical equation formula_81 and then fill in either "F" or "G" in one of the two simple ways which make the compositions defined.