[1] il latino apre la mente - ma non quanto apre il culo!
[maranza::post]

si, ma cosa ci vuoi dire, esattamente, rifererendoti alla dimostrazione?

che si può estendere dall'insieme N all'insieme degli interi?
proprio così. visto che il tizio che l'ha postata, nell'incipit faceva riferimento alle modularizzazioni e alla congruenza che sono strumenti tipici dell'aritmetica modulare (che vale principalmente in Z) ho semplicemente controllato che la sua dimostrazione valesse anche per gli interi negativi. Tutto qua.