Следствие. Пусть A будет подмножеством E, включенным в некоторые MST для G, пусть
C = (VC, EC) быть связным компонентом (деревом) в лесу GA = (V, A).
Если (u, v) является легким краем, соединяющим C с некоторым другим компонентом в GA,
тогда (u, v) безопасен для A.
Доказательство. Разрез (VC, V - VC) уважает A (A определяет компоненты
GA), и (u, v) является легким краем для этого разреза. Следовательно, (u, v) безопасно
для А.