As with any block design, Fisher's inequality b ≥ n {\displaystyle b\geq n} is true in Steiner systems.
Как и для любой блок-схемы, неравенство Фишера b ≥ n {\displaystyle b\geq n} верно для систем Штейнера.