2. "Eğer bir sayı 2'ye tam bölünüyorsa, o sayı çifttir." Bu önermede "bir sayı 2'ye tam bölünüyorsa" kısmına ne ad verilir?