Розглядається сім"я пар m x p і q x m матриць, у яких деякі елементи - нулі, а інші довільні, відносно перетворення (А, В) [відображується в] (SAR, QBS[верхній індекс -1]), де S, Q і R - невироджені матриці. Доводиться, що майже усі пари перетворюються в деяку пару (А[нижній індекс 0], В[нижній індекс 0]), що належить даній сім"ї, крім пар матриць, елементи яких перетворюють в нуль деякий многочлен. Цей многочлен і пара (А[нижній індекс 0], В[нижній індекс 0]) будуються за допомогою комбінаторного методу, що базується на властивостях деякого графа.