Note that I did not specify the range for k. I am using the usual convention that (pq) is considered zero whenever qp. EDIT: After reading Marc van Leeuwen's answer I've realized, that this is true for non-negative q only, so I've change range to k≥0