Enunciato

La congruenza $\rho _ p$ è una relazione di equivalenza