sum_(k = 1)^3 (- 1)^(3 - k) C(3, k) k! H(k)