Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedprecheck passaudited 2026-09-01
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.

In a reduced C prime(1/6) null diagram, some face contributes more than half of its boundary to the outer boundary

Statement

Let D be a nonempty reduced van Kampen diagram over a symmetrised C(1/6) presentation, and assume the boundary word of D is freely reduced and nontrivial. Then some face of D contributes more than half of its boundary to the outer boundary of D.

Facts & Assumptions

Given: A nonempty reduced van Kampen diagram D over a symmetrised C(1/6) presentation, with freely reduced nontrivial outer boundary word.

[L1]

Such a diagram contains a shell whose inner boundary is a concatenation of at most three maximal internal arcs (Reduced C prime(1/6) diagrams satisfy the standard combinatorial curvature count).

Proof

technique · direct
1.1

By [L1], some boundary face f of D is a shell whose inner boundary is a concatenation q1qi of maximal internal arcs with 0i3. (For i=0, this is the empty concatenation.) Let p be the complementary outer arc of f lying on D.

L1given
2.1

If i=0, the sum of the inner-arc lengths is 0<f/2. If 1i3, each internal arc qj is shared with a distinct neighbouring face, so reducedness makes its label a piece. Because the presentation satisfies C(1/6), every such arc satisfies qj<f/6, and hence q1++qi<if6f2. Thus in every case the total inner-arc length is less than half of f.

step 1.1givenalgebra
3.1

Since f is the disjoint union of the outer arc p and the inner arcs q1,,qi, step 2.1 gives p=f(q1++qi)>f2. Thus f contributes more than half of its boundary to the outer boundary of D.

step 2.1algebra

Depends on

Used by

Dependency tree · two levels

5 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