Savoir démontrer une congruence.