(To prove that this rule is admissible, assume a derivation of the premise and induct on it to produce a derivation of n n a t {\displaystyle n\,\,{\mathsf {nat}}} .)
(Για να αποδείξουμε ότι ο κανόνας αυτός είναι αποδεκτός, πρέπει να υποθέσουμε μια παραγωγή της υπόθεσης, και με επαγωγή να κατασκευάσουμε μια παραγωγή του n n a t {\displaystyle n\,\,{\mathsf {nat}}} .)