Induction then proves that it is a halting process since the event of finding smaller natural numbers is a halting process.
Η επαγωγή τότε αποδεικνύει ότι η διεργασία τερματίζει γιατί η εύρεση μικρότερων φυσικών αριθμών είναι διεργασία που τερματίζει.