Modulo Division/Examples/Arbitrary Example 3

From ProofWiki
Jump to navigation Jump to search

Example of Modulo Division

$4 \div_m 5 \equiv 8 \pmod {12}$


Proof

We have:

\(\ds 5 \times 8\) \(=\) \(\ds 40\)
\(\ds \) \(\equiv\) \(\ds 4\) \(\ds \pmod {12}\)
\(\ds \leadsto \ \ \) \(\ds 4 \div_m 5\) \(\equiv\) \(\ds 8\) \(\ds \pmod {12}\)

$\blacksquare$


Sources