Demostrar que $a·c\equiv b·c\ (\text{mod }m)$ con $a, b, c$ y $m$ enteros con $m \ge 2$ no implica $a \equiv b\ (\text{mod }m)$
He visto muchos ejemplos similares, pero no puedo encontrar una explicación o solución paso a paso para ninguno de ellos (como una prueba real).