SRVdudko,

Этики в программировании нет, есть эстетика.

Почитайте про то, как организуются вызовы процедур на машинном уровне. Стековая память, регистр адреса возврата, регистр базы локальных переменных, указатель верхушки стека. Осознайте вызов процедуры как объект, содержащий параметры и локалы, и ссылающийся на код. Код неизменен, так что вполне могут сосуществовать разные вызовы, ссылающиеся на один и тот же код. Затруднения возникают от профессионального жаргона "вызов процедуры". Мозг впадает в ступор - как это вызвать процедуру, если она уже вызвана. Замените пока на "создание вычислительного объекта типа factorial". Мозг же не возражает против множества однотипных объектов - он их видит каждый день - одинаковые машины, одинаковые телефоны, одинаковые бутылки молока.