Изменения

Пусть <tex>\mathbb{G'}</tex> {{---}} граф, полученный из <tex>\mathbb{G}=<\langle \mathbb{V},\mathbb{E}>\rangle</tex> добавлением ребер, при этом в <tex>\mathbb{G'}</tex> нет [[Теорема Холла#def1|полного паросочетания]], но оно появляется при добавлении любого нового ребра.

Так как новых вершин не добавлялось, то <tex>\mathbb{G'}=<\langle \mathbb{V},\mathbb{E'}>\rangle </tex>