It has long been known that the class of connected nonbipartite graphs (with loops allowed) obeys unique prime factorization over the direct product of graphs. Moreover, it is known that prime factorization is not necessarily unique in the class of connected bipartite graphs. But any prime factorization of a connected bipartite graph has exactly one bipartite factor. Moreover, empirical evidenc...