逆に "n" ≥ 2に対するこの形のスタイナー系が射影平面となることが証明できる。