Trong các mệnh đề sau, mệnh đề nào không phải là định lý:

∃x ∈ ℕ, x² chia hết cho 3 ⇒ x chia hết cho 3.

∃x ∈ ℕ, x² chia hết cho 6 ⇒ x chia hết cho 3.

∀x ∈ ℕ, x² chia hết cho 9 ⇒ x chia hết cho 9.

∃x ∈ ℕ, x chia hết cho 4 và 6 ⇒ x chia hết cho 12