Item 4.7.5.e.

\(G\) is a tree (there are no cycles) and as such also bipartite.

in-context