(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 congruences^{1}.
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. ↩