C

Let $k$ be an even natural number. Show that $3 ^ k + 1$ is divisible by $2$ but not by $4$.

Replace sorry in the template below with your solution. Mathlib version used by the checker is v4.34.0.

import Mathlib.Algebra.Ring.Parity

theorem solution (k : ℕ) (hk : Even k) : 2 ∣ 3 ^ k + 1 ∧ ¬ 4 ∣ 3 ^ k + 1 := sorry

Submit Solution

Login to submit a solution.

Recent Submissions