布鲁克·雷瑟·乔拉定理

如果,和无平方的的一部分可被a整除首要的 ,那就不差集属于秩序 存在。等效地，如果射影平面属于秩序存在，并且或2（mod 4），然后是二的总和正方形.

Dinitz和Stinson（1992）以以下形式给出了定理-块体设计存在，那么

1.如果是即使，然后是一个平方数,

2.如果是古怪的，然后是丢番图碱方程式

有一个整数解，但不是所有的整数都是0。