A = B - Petkovšek, Marko; Wilf, Herbert S.; Zeilberger, Doron (Peters, 1997)