LemmaStatement: Literature-sourcedProof: AI-adaptedprecheck passjudge pass (gpt-5.6-terra)audited 2026-08-26

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.

Every point of a $2$ -design lies in the same number of blocks

Statement

Let $(P, B)$ be a $2$ - $(v, k, λ)$ design. Then there is a natural number $r$ such that every point of $P$ lies in exactly $r$ blocks.

Facts & Assumptions

Given: A $2$ - $(v, k, λ)$ design $(P, B)$ .

[L1]

Every block has exactly $k$ points, with $2 \leq k < v$ and $λ \geq 1$ (A $2$ - $(v, k, λ)$ design).

[L2]

Every two-element subset of $P$ lies in exactly $λ$ blocks (A $2$ - $(v, k, λ)$ design).

Proof

technique · direct

1.1givenchoose

Fix a point $p \in P$ , and let $r_{p}$ be the number of blocks containing $p$ . Count the ordered pairs $(q, B)$ with $q \in P ∖ {p}$ and ${p, q} \subseteq B$ .

2.1step 1.1L1algebra

Counting by blocks through $p$ , each such block contributes $k - 1$ choices of $q$ , so the number of pairs is $r_{p} (k - 1)$ .

2.2step 1.1L2algebra

Counting by the second point, each $q \in P ∖ {p}$ contributes exactly $λ$ blocks, so the number of pairs is $λ (v - 1)$ .

3.1step 2.1step 2.2algebra∎

Therefore $r_{p} (k - 1) = λ (v - 1)$ , so $r_{p} = λ (v - 1) / (k - 1)$ depends only on $v$ , $k$ , and $λ$ , not on $p$ . Thus every point lies in the same number $r$ of blocks.

Depends on

A $2$-$(v,k,\lambda)$ design

Used by

A 2-design satisfies bk=vr and r(k-1)=λ(v-1) Theorem

Dependency tree · one level

1 result within one dependency step 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

Noam D. Elkies, Math 155 notes: Jan. 29 (standard reference, not scraped)

Every point of a 22-design lies in the same number of blocks