Noetherian induction