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