https://profilpelajar.com/en/Induction,_bounding_and_least_number_principles