added functions in module Congruence