вопрос по дискретке

На первой фотографии слева приведен конечный результат. Нужно было найти наибольшее паросочетание. У меня получилось паросочетание с количеством ребер - 5. Использовал алгоритм через построение фиктивных вершин. Препод задал вопрос: Почему больше ребер быть не может здесь?(сказал что это объясняет одно определение,или перебор всех вариантов паросочетаний)
Что за определение?