Como usted ha observado, 7\cdot 100^{100} \equiv 0 \bmod 28 . Así que lo que queremos demostrar entonces es 3^{90}\equiv 8+21\equiv29\equiv 1 \bmod 28
El Función de Carmichael \lambda(28)={\rm lcm}(\lambda(4),\lambda(7)) = {\rm lcm}(2, 6) = 6 significa que el ciclo de valores para 3^k \bmod 28 es 6 en longitud o divide 6 de longitud, y como \gcd(3,28)=1 entonces sabemos 3^6\equiv 1 \bmod 28 . De hecho, también podemos ver esto directamente ya que 3^3=27\equiv-1\bmod 28 (pero este descubrimiento no es necesario).
Así que desde 3^6\equiv 1 \bmod 28 entonces también 3^{90}\equiv (3^6)^{15}\equiv 1^{15}\equiv 1\bmod 28 y el resultado se mantiene.