Two, but not four

Prove that for any natural number n, 3^{2n}+1 is divisible by 2 but not by 4.

Function Signature

import Mathlib.Tactic

def dummy (n : ℕ) : ℕ

Theorem Signature

theorem solution (n : ℕ) : 2 ∣ 3 ^ (2 * n) + 1 ∧ ¬ 4 ∣ (3 ^ (2 * n) + 1)

View All Submissions

Please log in or register to submit a solution for this challenge.