Изменения

Также можно доказать более слабое, но полезное утверждение про графы без лап (индуцированных подграфов <tex>K_{1,3}</tex>).

|statement=

Пусть <tex>G</tex> — связный граф чётного порядка <tex>2n</tex>, не содержащий лап. Тогда <tex>G</tex> содержит совершенное паросочетание.