A prime factor theorem for bipartite graphs. (July 2015)