Trabajamos mod 27. Como 10=27−17, tenemos 10≡−17(mod27).
Mejor: 10≡10(mod27). Veamos por inducción:
Base: n=1: 10+18−1=27. ✓
Paso: Si 27∣10n+18n−1, entonces:
10n+1+18(n+1)−1=10⋅10n+18n+17
=10(10n+18n−1)−162n+27=10⋅(muˊlt. de 27)−27(6n−1)
Ambos términos son múltiplos de 27. ∎