In fact, the conditions stated in the Bruck–Ryser–Chowla theorem are not merely necessary, but also sufficient for the existence of such a rational matrix R. They can be derived from the Hasse–Minkowski theorem on the rational equivalence of quadratic forms.
Фактически, условия, заключённые в теореме Брука — Райзера — Човла, являются не просто необходимыми, но также и достаточны для существования таких рациональных матриц R. Они могут быть выведены из теоремы Минковского — Хассе о рациональной эквивалентности квадратичных форм.