Useful Finite Summation Identities