lean_workbook_plus_13861

If $a \equiv b \pmod{m}$ and $p \equiv q \pmod{m}$ : \n\n1. $a+c \equiv b+c \pmod{m}$ \n2. $ac \equiv bc \pmod{m}$ \n3. $a^{c} \equiv b^{c} \pmod{m}$ \n4. $(a+p) \equiv (b+q) \pmod{m}$ \n5. $ap \equiv bq \pmod{m}$