A double-induction proof in two examples

Abstract

The article explains a method of proving statements that depend on variables, whose domains are positive integers. The method is used in two examples concerning a convex n-gon.

Keywords

• double induction
• convex n-gon