(related to Corollary: Sums, Products, and Powers Of Congruences)
The sum and product formulae follow by induction from the proposition about addition, subtraction and multiplication of congruences1.
The power formula follows from the product formula by setting $a:=a_1=\ldots=a_r.$
In particular, the sum formula is also true, if it involves negative integers. ↩