Açılın matematikçiniz geldi. Şimdi olayı tümevarımla ispatlayacağım. diyelim ki amacımız sınıfta kalmak olsun. Eğer başarısız olursak sınıfı geçmiş oluruz. Yok eğer sınıfta kalırsak o zaman da amacımıza ulaşmış, yani başarılı olmuş oluruz. Burada başarısızlık sınıfı geçmek olduğundan değer kazanmıştır.