За буквеними записами сформулюй правило перевірки ділення з остачею. a : b = c (ост.r), a = b • c + r