"En az bir asal sayı çiftir" önermesini ispatlamak için sadece 2 sayısının asal ve çift olduğunu göstermek yeterlidir.Bu hangi ispat yöntemine örnektir?