"a ve b tam sayıları için, eğer a × b çift ise a veya b çifttir" önermesinin doğrudan ispatı için aşağıdaki yaklaşımlardan hangisi doğrudur?
A) a ve b'nin tek olduğunu varsayıp çelişki elde edilir
B) a × b çift olduğundan a çifttir denir
C) a ve b çift ise a × b çifttir denir
D) Sadece örneklerle gösterilir