Teorema

•  • Teorema 5.4
• Suatu adjoint merupakan graf garis berarah jika dan hanya jika tidak
• memuat salah satu graf sebagai subgraf proper-nya.
 Teorema
•  Akibat 5.2
• Suatu graf yang tak memuat busur sejajar dan gelang merupakan
graf garis berarah jika dan hanya jika terpenuhi untuk tiap pasang
simpul di .
 Teorema
•  Teorema 5.5
• Untuk suatu graf berarah yang terhubung kuat berlaku jika dan hanya
jika berupa lingkaran berarah.
 Teorema
•  Teorema 5.6
jika dan hanya jika , dimana merupakan graf berarah yang saling lepas
dan masing-masing merupakan graf lingkaran berarah atauvgraf
lingkaran berarah dengan suatu pohon berarah yang terhubung dari
(atau ke) suatu simpul di , tetapi pohon yang terhubung tidak boleh
terdiri dari dua pohon berarah keluar dan pohon berarah masuk yang
terhubung ke satu simpul.