> -- Rifat писал(а):
> "выполнение подпрограммы без формальных параметров дает тот же результат, что и выполнение составляющих его подпрограмму операторов, как если бы они были подставлены вместо оператора вызова подпрограммы".Это не определение языка, это метафора для объяснения вызова процедуры. Её не следует понимать буквально, и вообще следует забыть после базового понимания.

"Вершей  пользуются  при  ловле  рыбы.  Поймав рыбу, забывают про вершу. Ловушкой пользуются при ловле зайцев. Поймав зайца,  забывают  про  ловушку. Словами  пользуются  для  выражения  смысла.  Постигнув  смысл, забывают про слова".Источник.