Este último resultado permite generalizar: 3 ≡ 1, para todo k natural.