Note also, that c is, in a sense, a "simplest" term in the system, since nothing can be applied to c to transform it any further.
Зауважте також, що c є, в певному сенсі, «найпростішим» термом у системі, оскільки нічого не може бути застосовано до c, щоб перетворити його далі.