p: "Bir sayı 2'ye tam bölünür" ve q: "Bir sayı çifttir" önermeleri veriliyor. p ⇔ q önermesi için ne söylenebilir?