Axiomatic Method for
Corollary
: Sums, Products, and Powers Of Congruences [8157]
Underlying Axioms
...no axioms
Logical Predecessors
(used in the
Proof)
Theorems:
8156: Addition, Subtraction and Multiplication of Congruences, the Commutative Ring $\mathbb Z_m$
Logical Successors
...no successors
OK