Difference and Difference Quotient. Part II. - Li, Bo; Zhuang, Yanping; Liang, Xiquan (Formaliz. Math., 2008)