Si "i" < "j", entonces se sigue de la definición que "s" ≡ 1 (mod "s").