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