"n² çift ise n de çifttir" önermesini ispatlamak için "n tek olsaydı, n² de tek olurdu, bu da verilenle çelişirdi" diyen bir matematikçi hangi yöntemi kullanmıştır?
