Теория графов (не программирование, не линукс)

Приветствую. Прошу помощи не связанной с программированием и линукс. Задача из курса теории графов, я ее впринципе доказал, остался один момент который строго показать не могу, возможно из-за того что ошибаюсь. Короче нужно показать 1 из 4 что-то (все остальные связаны через св-во L0(G)+B0(G)=n ):
L0(G)+L0(не G)=n
B0(G)+B0(не G)=n
L0(G)=B0(не G)
B0(G)=L0(не G)
где L0 - число вершинной независимости графа, B0 - число вершинного покрытия, G - НЕПОЛНЫЙ(!!!) граф, не G - дополнение к графу G, n - кол-во вершин в графе G.
Причом вроде это доказывается через определения вершинной независимости и определения дополнения графа.
Благодарю всех кто поможет.

П.С. для троллей - началась сессия, да я студент.