A simple graph is bipartite if and only if its strongly connected components are bipartite