pozostający w relacji kongruencji