Öyle ki hiçbir köşe d S ve o hala eklenebilir bir kuvvetle bağlı subgraph, S, D, yönlendirilmiş bir grafik kuvvetle bağlı. Ayrıca, her köşe her diğer tepe erişilebilir olan bir maksimal subgraph .