import FiniteAffineObstruction
example : (4 : ℤ) ∣ 2 := by
  exact dvd_refl 2