From: Now that is one happy monkey. on
Notation: R(a,k) denotes the rising factorial a(a+1)...(a+k-1 ...the
certificate being 2 2 2 (5 m - 12 m p - 2 m + 8 p + 3 n m - n - 4 n p
+ 1 + 4 p) n
-------------------------------------------------------------,
QED . ... Musatov