Článek vysvětluje metodu dvojité indukce pro dokazování vět se dvěma přirozenými proměnnými. Metoda je použita k důkazu dvou vět o konvexním n-úhelníku.