It allows an extremely elegant proof of certain classes of combinatorial identities and also provides an algorithm to generate new identities from old ones.
Ito ay nagbibigay-daan sa isang balisang-ilas patunay ng mga tiyak na mga klase ng kombinatoryal pagkakakilanlan at ay nagbibigay din ng isang algorithm na bumuo ng bagong mga pagkakakilanlan mula sa mga lumang iyan.