Сформулируйте и докажите теорему о вычислении