by Qiang Gao, updated at Mar 20, 2017
Prove the last equality in (1.1.15),
Copyright ©2017 by Qiang Gao