Implementation for a thesis' appendix.
Proved N-ind₁ using N-least-pre-fixed
Proved N-ind₁ fromN-ind₂.
Working with 0-ary constants instead of 1-ary functions.