В данном задании необходимо выбрать верные утверждения, касающиеся процедур в программировании. Рассмотрим каждое из предложенных утверждений:
1. Может быть вызвана рекурсивно, сама через себя. Это утверждение является верным. Процедура (или функция) может вызывать саму себя, что называется рекурсией. Рекурсия – это мощный метод программирования, позволяющий решать задачи, которые можно разбить на более мелкие, подобные исходной.
2. Не возвращает значений return. Это утверждение не всегда верно. Процедура может и не возвращать значение, но она также может возвращать значение с помощью оператора `return`. Если процедура не возвращает значение, ее часто называют подпрограммой или просто процедурой. Если возвращает, то ее называют функцией.
3. Обязательно возвращает значение, которое может использоваться в выражении. Это утверждение неверно. Процедуры могут выполнять определенные действия (например, выводить информацию на экран, изменять значения переменных) и не возвращать никаких значений.
Таким образом, верным является только первое утверждение.
Ответ: Может быть вызвана рекурсивно, сама через себя.