Paragraph

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