not_prime_pow'

Mathlib.Data.Nat.Prime.Basic

URI: https://scilib.ai/kg/mathlib#Nat.Prime.not_prime_pow'

English

If n ≥ 2, then x^n is not prime.

Русский

Если n ≥ 2, то x^n не простое.

LaTeX

$$$$ \forall x,n \in \mathbb{N},\ 2 \le n \Rightarrow \neg \text{Prime}(x^n). $$$$

Lean4

theorem not_prime_pow' {x n : ℕ} (hn : n ≠ 1) : ¬(x ^ n).Prime :=
  not_irreducible_pow hn

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru