Letn∈N. Use el algoritmo de división para probar que cada entero es congruente modn a precisamente uno de los enteros0,1,…,n−1. Concluye que sir es ...Letn∈N. Use el algoritmo de división para probar que cada entero es congruente modn a precisamente uno de los enteros0,1,…,n−1. Concluye que sir es un entero, entonces hay exactamente unos enZ tal que0≤s<n y[r]=[s]. Por lo tanto, los enteros son de hecho particionado por congruencia modn.