User:Joe/Sandbox

Theorem
A Steiner triple system of order $$v$$ exists if and only if:
 * $$v = 0 $$, or
 * $$v\equiv 1,3\pmod{6}$$