Theorem NF: a 2×3 configuration with ratio of degree 2 in a five-dimensional W ⊇ span(1, u, u⁻¹) makes W complete, two-orbit or cyclic

Initializing...

Theorem NF: a 2×3 configuration with ratio of degree 2 in a five-dimensional W ⊇ span(1, u, u⁻¹) makes W complete, two-orbit or cyclic · Prove2Me