Che x-1 è un multiplo di n.
Sì, quello che hai detto tu, in pratica...