proof by contradiction
mathematical induction