Prove the Identity for the Finite Sums SUM((x a)(y b))