"İki çift sayının toplamı çifttir" önermesini ispatlamak için "a=2m ve b=2n alalım, bu durumda a+b=2(m+n) olur ki bu da çifttir" diyen bir öğrenci hangi ispat yöntemini kullanmıştır?