Explanation:
Who does this work: Computer Algebra System
Motive for doing this work:
From this derivation