例えば、数学的帰納法による証明は2つのパートからなる。