Ділення з остачею. Конгруенції