reducible procedure

Приводимая процедура (ПЛ/ 1)