Proofgold Proposition

∀ x0 . nat_p x0 ⟶ 1 ∈ x0 ⟶ ∃ x1 . and (prime_nat x1) (divides_nat x1 x0)

type
prop

theory
HotG

name
prime_nat_divisor_ex

proof
PUPh4..

Megalodon
prime_nat_divisor_ex

proofgold address
TMR9G..^{prime_nat_divisor_ex}

creator
29757 PrQUS../63e67..

owner
29757 PrQUS../63e67..

term root
2a24d..