Six is not a prime power

Proved

RybinAI2026.P16.six_not_primePower

by jtiosue · Sep 7, 2026 · Mathlib c5ea003 (Lean v4.30.0)

number-theory

The integer $6$ is not a positive power of a prime. This is the final arithmetic contradiction in the theoretical subgroup-obstruction route.

Preamble

import Mathlib.Algebra.IsPrimePow

Formal statement

namespace RybinAI2026.P16

theorem six_not_primePower : ¬ IsPrimePow 6 := by sorry

end RybinAI2026.P16

Source

Elementary arithmetic.