Теорема Брука — Райзера — Човла

Теорема — — — это результат в комбинаторике блок-схем. Теорема утверждает, что если (v, b, r, k, λ)-схема существует с v = b (симметичная блок-схема), то: * если v чётно, то k − λ является квадратом; * если v нечётно,то следующее диофантово уравнение имеет нетривиальное решение:. Теорему доказали для случая проективных плоскостей Брук и Райзер. Теорему расширили на симметричные схемы Райзер и Човла.