Sea $n \ge 2$ un entero positivo. Demostrar que las siguientes afirmaciones son equivalentes: a) para todo entero $x$ coprimo con n la congruencia $x^6 \equiv 1$ (mod $n$ ) se cumple, b) $n$ divide a $504$ .