А почему

?
Ведь какая разница:

, значит

.
Единственная причина, которую я нашел, это то, что один терм

от

аргументов неявно порождает

функций вида

, где

- перестановка, без указания порядка переменных чисто по записи терма

невозможно понять, какая функция имеется ввиду.