Implikation gällande två tal som delar varandra

Är det korrekt att skriva följande implikation:

$4 | 2 k \Rightarrow 2 | k, k \in ℤ^{+}$

Ja, om k är udda så är inte 2k delbart med 4.

Svara