ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-08-16

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The unique cube root of $2$ modulo $29$ is $- 3$

Example

The congruence $x^{3} \equiv 2 (m o d 29)$ has the unique solution class $[- 3]_{29}$ .

Facts & Assumptions

Given: The prime $29$ , exponent $3$ , and target $2$ .

[L1]

If $p$ is prime, $k \geq 1$ , $p ∤ a$ , and $\gcd (k, p - 1) = 1$ , then $x^{k} \equiv a (m o d p)$ has one solution class; if $k ℓ \equiv 1 (m o d p - 1)$ , it is $[a^{ℓ}]_{p}$ (A coprime exponent gives a unique nonzero $k$ -th root modulo a prime).

Verification

technique · direct

1.1L1givenalgebra

Since $\gcd (3, 28) = 1$ and $3 \cdot 19 = 57 \equiv 1 (m o d 28)$ , [L1] says that the unique cube-root class is $[2^{19}]_{29}$ .

2.1step 1.1algebra∎

Modulo $29$ , $2^{8} \equiv 24$ and $2^{10} \equiv 9$ , so $2^{19} = 2^{10} 2^{8} \cdot 2 \equiv 9 \cdot 24 \cdot 2 \equiv 26 \equiv - 3$ ; directly, $(- 3)^{3} = - 27 \equiv 2 (m o d 29)$ .

Depends on

A coprime exponent gives a unique nonzero $k$-th root modulo a prime

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

8 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

N. Mascot, Legendre Symbols and Quadratic Reciprocity, Chapter 3 (standard reference, not scraped)

The unique cube root of 22 modulo 2929 is −3−3