The use of a computer algebra system not only aids in the generation, as seen before, but provides several ways of back-checking as shown below.