假如以上兩點成立到嘅話，咁就有得話當  嘅時候， 呢個命題會係啱嘅，而推落去又有得話當  嘅時候， 呢個命題都會係啱嘅，如此類推，就有得話「對應所有嘅自然數 ， 都會係啱」（For all natural number ,   is true）。